meta-comment on typing Per Bothner (05 Oct 2005 17:35 UTC)
Re: meta-comment on typing John.Cowan (05 Oct 2005 22:00 UTC)
Re: meta-comment on typing Per Bothner (05 Oct 2005 22:14 UTC)
Re: meta-comment on typing John.Cowan (06 Oct 2005 04:55 UTC)
Re: meta-comment on typing Michael Sperber (06 Oct 2005 06:03 UTC)
Re: meta-comment on typing Per Bothner (06 Oct 2005 15:35 UTC)
[SRFI 77] integer-length and integer-sqrt Jens Axel Søgaard (06 Oct 2005 15:54 UTC)
Re: meta-comment on typing Michael Sperber (06 Oct 2005 16:17 UTC)

Re: meta-comment on typing John.Cowan 05 Oct 2005 22:00 UTC

Per Bothner scripsit:

> It's a choice bwteeen:
> (define (square-sum (x :: <flonum>) (y :: <flonum>))
>   (+ (* x x) (* y y)))
> or:
> (define (square-sum x y)
>   (fl+ (fl* x x) (fl* y)))
> If you have type specifiers, you don't need the separate operation
> names.  And type specifiers are much to be preferred.  After all
> if Scheme is a teaching language, we want to encourage our students
> to use type declarations, I think.

Unless you want to add overloading to Scheme, you have just pushed off the
problem from the predefined names to the user-defined names, as the above
will need to be complemented by a version of square-sum that does fixnums.

--
You're a brave man! Go and break through the            John Cowan
lines, and remember while you're out there              xxxxxx@reutershealth.com
risking life and limb through shot and shell,           www.ccil.org/~cowan
we'll be in here thinking what a sucker you are!        www.reutershealth.com
        --Rufus T. Firefly