[gambit-list] Thoughts on Scheme

Marijn hkBst at gentoo.org
Wed Jan 9 08:44:15 EST 2013


-----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-----



More information about the Gambit-list mailing list