RE: [Sml-implementers] Subject: Standard ML

[Robert H. <Rob...@cs...>]

Please do consolidate your concerns about The Definition.  Then we can =
all
compare notes, because I think others have similar concerns (some =
already
raised here).

Bob Harper

-----Original Message-----
From: Andreas Rossberg [mailto:ros...@ps...]
Sent: Friday, September 28, 2001 4:31 AM
To: sml...@li...
Cc: Ken Friis Larsen; Andrew Kennedy
Subject: Re: [Sml-implementers] Subject: Standard ML


Ken Friis Larsen wrote:
>=20
> Well there is HaMLet:
>         http://www.ps.uni-sb.de/hamlet/
> And if that doesn't count, how about:
>         http://www.ps.uni-sb.de/alice/
>=20
> (Even though it clearly denotes itself as a language different from =
SML).

Some short comments:

Alice is a system for distributed and concurrent constraint programming
currently being developed here in Saarbr=FCcken, and will hopefully be
ready some time next year. Although showing some quite fundamental
differences, it still aims to be a mostly conservative extension of =
SML.

HaMLet is my personal SML toy interpreter that evolved as a byproduct =
of
the Alice project. It is by now a fairly complete implementation and I
will release it next week, after filling some remaining holes.

As part of the HaMLet documentation I tried to compile a list of all
known mistakes and `grey areas' in the revised Definition (based on =
what
Kahrs did for SML'90). If people are interested, I could turn it into a
stand-alone document. It might be useful in the discussion about fixes.

	- Andreas

_______________________________________________
Sml-implementers mailing list
Sml...@li...
https://lists.sourceforge.net/lists/listinfo/sml-implementers