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 06 Oct 2005 04:55 UTC
Per Bothner scripsit: > Huh? You're comparing apples and oranges. The srfi-77 version: > (define (square-sum x y) > (fl+ (fl* x x) (fl* y))) > doesn't do fixnums either. Perhaps I misunderstand your point. No, you're right. > * Once one has optional type declarations, the need for type-specific > arithmetic primitives is reduced or eliminated. How far down the call chain is the type inference to be done; in other words, do these declarations only affect calls that are statically within the lambda where they appear? > * As a matter of style, I believe type declarations are preferable to > type-specific arithmetic primitives, especially since Type Declarations > are Good in themselves. It's a big change to Scheme, though, much bigger than adding a bunch of new procedures. -- My corporate data's a mess! John Cowan It's all semi-structured, no less. http://www.ccil.org/~cowan But I'll be carefree xxxxxx@reutershealth.com Using XSLT http://www.reutershealth.com On an XML DBMS.