Message262852
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. |
|
Date |
User |
Action |
Args |
2016-04-04 10:10:01 | skrah | set | recipients:
+ skrah, tim.peters, rhettinger, facundobatista, mark.dickinson, christian.heimes, serhiy.storchaka, robert_smallshire |
2016-04-04 10:10:01 | skrah | set | messageid: <1459764601.91.0.551055540918.issue26680@psf.upfronthosting.co.za> |
2016-04-04 10:10:01 | skrah | link | issue26680 messages |
2016-04-04 10:10:01 | skrah | create | |
|