-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
On 08-01-13 19:18, Hendrik Boom wrote:
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.
Bigloo is another older example of a Scheme with optional type annotations.
Marijn