[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