Author skrah
Recipients christian.heimes, facundobatista, mark.dickinson, rhettinger, robert_smallshire, serhiy.storchaka, skrah, tim.peters
Date 2016-04-04.10:10:01
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1459764601.91.0.551055540918.issue26680@psf.upfronthosting.co.za>
In-reply-to
Content
I agree that Robert's "absurdity" argument was unfortunate and could
be reversed: Many people would consider an (10).is_integer() method
absurd.

I'm also only moderately interested in OOP or classification in general, but  we *do* have a numeric tower modeled after Scheme,
so here goes:

scheme@(guile-user)> (integer? 487)
$1 = #t
scheme@(guile-user)> (integer? 1.2)
$2 = #f
scheme@(guile-user)> (integer? 1.0)
$3 = #t
scheme@(guile-user)> (integer? 1/7)
$4 = #f
scheme@(guile-user)> (integer? 100/10)
$5 = #t
scheme@(guile-user)> 


The ACL2 theorem prover has the same:

ACL2 !>(integerp 100)
T
ACL2 !>(integerp 100/10)
T
ACL2 !>(integerp 100/7)
NIL


For me, these functions are something fundamental. I'd prefer
them to be exposed in a functional manner like above, but we
do have the numeric tower.
History
Date User Action Args
2016-04-04 10:10:01skrahsetrecipients: + skrah, tim.peters, rhettinger, facundobatista, mark.dickinson, christian.heimes, serhiy.storchaka, robert_smallshire
2016-04-04 10:10:01skrahsetmessageid: <1459764601.91.0.551055540918.issue26680@psf.upfronthosting.co.za>
2016-04-04 10:10:01skrahlinkissue26680 messages
2016-04-04 10:10:01skrahcreate