[r6rs-discuss] R5.95 questions

From: William D Clinger <will>
Date: Tue, 26 Jun 2007 14:59:04 -0400

Kent Dybvig wrote:
> > The wisdom of this move is also open to question.
> > Inasmuch as the second argument is inexact, its
> > integer object-ness is likely to be accidental.
>
> This is precisely why I have always believed that integer? should return
> false for all inexact values.

So this is your revenge?

I hope you will recognize the difference between
injection and projection. Extending a function
whose natural domain is the integers to apply to
inexact as well as exact integers is not the same
as restricting a function whose natural domain is
C^2 (less <0,0>) to [0,+inf.0] plus the negative
integers, nor is it the same as extending a
function whose continuous domain is [0,+inf.0)
to the negative integers.

Will
Received on Tue Jun 26 2007 - 14:59:04 UTC