Gambit also has optional typed annotations through JazzScheme: <a href="http://www.jazzscheme.org">www.jazzscheme.org</a><div><br></div><div><div class="gmail_quote">On Wed, Jan 9, 2013 at 8:44 AM, Marijn <span dir="ltr"><<a href="mailto:hkBst@gentoo.org" target="_blank">hkBst@gentoo.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">-----BEGIN PGP SIGNED MESSAGE-----<br>
Hash: SHA1<br>
<div class="im"><br>
On 08-01-13 19:18, Hendrik Boom wrote:<br>
> On Mon, Jan 07, 2013 at 10:37:08AM -0500, Jason Felice wrote: ...<br>
> ...<br>
>> I don't think efficiency in terms of constant factors should<br>
>> often win versus code which could be more general.   Clearly this<br>
>> is a value choice; however, I wonder how well a compiler can<br>
>> eliminate type dispatching without adding type annotation to the<br>
>> language.<br>
><br>
> For me, the value of type anotations is the possibility of static<br>
> type checking, which catches bugs fast.  That the compiler can then<br>
> use the information to generate better code is a pleasant freebie.<br>
><br>
> It would be interesting to see if the stragegy in, say, typed<br>
> Racket, could be usefully adapted to Gambit.<br>
<br>
</div>Bigloo is another older example of a Scheme with optional type<br>
annotations.<br>
<br>
Marijn<br>
<br>
-----BEGIN PGP SIGNATURE-----<br>
Version: GnuPG v2.0.19 (GNU/Linux)<br>
Comment: Using GnuPG with undefined - <a href="http://www.enigmail.net/" target="_blank">http://www.enigmail.net/</a><br>
<br>
iEYEARECAAYFAlDtdC8ACgkQp/VmCx0OL2zMIwCgwk5bBZPRWJjU3TKnJjYQJaJ4<br>
XXYAnj6Qgd1y/omRItSSg4WN/yqTlgQM<br>
=ziI9<br>
-----END PGP SIGNATURE-----<br>
<div class="HOEnZb"><div class="h5">_______________________________________________<br>
Gambit-list mailing list<br>
<a href="mailto:Gambit-list@iro.umontreal.ca">Gambit-list@iro.umontreal.ca</a><br>
<a href="https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list" target="_blank">https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list</a><br>
<br>
</div></div></blockquote></div><br></div>