Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Path: utzoo!mnetor!seismo!mcvax!ukc!its63b!csnjr From: csnjr@its63b.ed.ac.uk (Nick Rothwell, Laboratory for Foundations of Computer Science,) Newsgroups: comp.lang.misc,comp.ai Subject: Re: ML programming, anybody? Message-ID: <496@its63b.ed.ac.uk> Date: Tue, 23-Jun-87 06:51:44 EDT Article-I.D.: its63b.496 Posted: Tue Jun 23 06:51:44 1987 Date-Received: Sat, 4-Jul-87 17:31:22 EDT References: <665@sbstaff2.UUCP> Reply-To: nick@cstvax.ed.ac.uk (Nick Rothwell) Distribution: world Organization: LFCS, University of Edinburgh Lines: 27 Keywords: ML Xref: mnetor comp.lang.misc:491 comp.ai:614 In article <665@sbstaff2.UUCP> allen@sbstaff2.UUCP ( Allen Leung) writes: > > Is there any one out there doing serious programming and/or research > in ML (Meta Language)? I would like to hear from you. YES! I represent the ML research group at Edinburgh. We were responsible for the original releases of Standard ML, as well as the infamous "Edinburgh ML" which is being distributed at the moment. The situation is rather uncertain at the moment - we are still distributing the original SML system, although it has its weaknesses and we haven't got the resources to perform any major bug fixes at the moment. We expect to be shipping copies of the brand new, shiny SML compiler sometime in the Autumn. This is a collaborative effort - the compiler is actually the work of Dave MacQueen at Bell Labs and Andrew Appel at Princeton, although it will incorporate some new parsing and typechecking techniques developed at Edinburgh. The new compiler generates native code, and is a total rewrite (in SML itself, as it happens), so it won't suffer from the weaknesses of the current Edinburgh system which, to be fair, is the result of a great deal of evolution as our ideas about typechecking and compilation have developed. -- Nick Rothwell, Laboratory for Foundations of Computer Science, University of Edinburgh. ARPA: nick%{cstvax,itspna}.ed.ac.uk@ucl-cs.arpa JANET: nick@uk.ac.ed.{cstvax,itspna} UUCP: !mcvax!ukc!{cstvax,itspna}!nick ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ ~~ "Nothing's forgotten. Nothing is ever forgotten." (Herne)