[gambit-list] Thoughts on Scheme
Hendrik Boom
hendrik at topoi.pooq.com
Tue Jan 8 13:18:36 EST 2013
On Mon, Jan 07, 2013 at 10:37:08AM -0500, Jason Felice wrote:
...
...
> I don't think efficiency in terms of constant factors should often win
> versus code which could be more general. Clearly this is a value choice;
> however, I wonder how well a compiler can eliminate type dispatching
> without adding type annotation to the language.
For me, the value of type anotations is the possibility of static type
checking, which catches bugs fast. That the compiler can then use the
information to generate better code is a pleasant freebie.
It would be interesting to see if the stragegy in, say, typed Racket,
could be usefully adapted to Gambit.
-- hendrik
More information about the Gambit-list
mailing list