[gambit-list] Thoughts on Scheme

Guillaume Cartier gcartier at jazzscheme.org
Wed Jan 9 09:33:18 EST 2013


Gambit also has optional typed annotations through JazzScheme:
www.jazzscheme.org

On Wed, Jan 9, 2013 at 8:44 AM, Marijn <hkBst at gentoo.org> wrote:

> -----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-----
> _______________________________________________
> Gambit-list mailing list
> Gambit-list at iro.umontreal.ca
> https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.iro.umontreal.ca/pipermail/gambit-list/attachments/20130109/56fe9dee/attachment.htm>


More information about the Gambit-list mailing list