-----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
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.19 (GNU/Linux)
Comment: Using GnuPG with undefined - http://www.enigmail.net/
iEYEARECAAYFAlDtdC8ACgkQp/VmCx0OL2zMIwCgwk5bBZPRWJjU3TKnJjYQJaJ4
XXYAnj6Qgd1y/omRItSSg4WN/yqTlgQM
=ziI9
-----END PGP SIGNATURE-----