Xref: utzoo comp.lang.lisp:576 comp.lang.scheme:67 comp.lang.misc:891 Path: utzoo!mnetor!uunet!husc6!sri-unix!quintus!ok From: ok@quintus.UUCP (Richard A. O'Keefe) Newsgroups: comp.lang.lisp,comp.lang.scheme,comp.lang.misc Subject: Re: Applicative languages? Anyone? Message-ID: <469@cresswell.quintus.UUCP> Date: 15 Dec 87 05:54:57 GMT References: <1409@mind.UUCP> <584@zippy.eecs.umich.edu> <1202@uoregon.UUCP> <819@its63b.ed.ac.uk> Organization: Quintus Computer Systems, Mountain View, CA Lines: 25 Keywords: ML interpreter typechecker Summary: Confusion about "ML" The languages described in Peyton-Jones's book are Miranda and >>>Lazy<<< ML. DEC-10 ML and VAX ML are strict languages. They do have (monotyped) assignable objects. Peyton-Jones's book has nothing to say about their implementation. Lazy ML is a lazy language (normal-order evaluation), and to the best of my knowledge it does not have assignable objects. If people are interested in trying Lazy ML out, rather than in the mechanics of writing compilers, they might prefer to get a copy of the Lazy ML system. (In fact, if you *are* interested in the mechanics of writing compilers, you might get it anyway; you will learn a lot.) I have seen a copy, and was much impressed by it. You should contact Lennart Augustsson augustss@chalmers.csnet ...!mcvax!enea!chalmers!augustss or Thomas Johnsson johnsson@chalmers.csnet ...!mcvax!enea!chalmers!johnsson paper-mail: Dept of Computer Science, Chalmers University of Tech. 412 96 Gothenburg Sweden