I've discovered what may be a bug in the type system of Typed Racket. The
functions that round - (round), (truncate), (ceiling), etc. are typed as
Real, not Integer; however, the result of (integer? (round (* 10e15
(random)))) is consistently true - and the same holds for the other rounding
functions.

 

Is this intentional? If so, why? If it is (or even if it isn't), how can I
transform the result of (random) to an Integer?

 

-          Petey 

_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Reply via email to