[TYPES] SML# alpha release

Ian Zimmerman nobrowser at gmail.com
Tue Mar 21 00:12:48 EST 2006

Atsushi> I thought some of you might be interested in our new language,
Atsushi> SML#, whose alpha release is now available at:

Atsushi>   http://www.pllab.riec.tohoku.ac.jp/smlsharp/

Atsushi> SML# is a conservation extension of the Definition of SML with
Atsushi> few moderate but practically important features, including
Atsushi> interoperability, record polymorphism, and rank1 polymorphism.

Atsushi> Its compiler heavily uses type information to achieves these
Atsushi> features, especially interoperability.

Sorry, I know I should just look at the website, but it has been a
very long day and I am too tired to do it.  So 2 questions:

"interoperability" - with what?

"heavily uses type information" - does that mean _runtime_ type
information?  That would be a significant departure indeed from the
design of SML ...

A true pessimist won't be discouraged by a little success.

More information about the Types-list mailing list