rthomson@mesa.dsd.es.com (Rich Thomson) (03/28/91)
>Cameron Laird writes: >>> A postscript: if someone knows what FP environment is free, >>> easy-to-install on a PC or SPARCstation, and good practice >>> for autodidacts, I'm ready to listen. I beleive SML (Standard ML of New Jersey, version 66) is freely available by FTP from research.att.com in dist/ml; there is also a freely available implementation of LML (Lazy ML), but I am not sure where it is kept. -- Rich -- ``Read my MIPS -- no new VAXes!!'' -- George Bush after sniffing freon Disclaimer: I speak for myself, except as noted. UUCP: ...!uunet!dsd.es.com!rthomson Rich Thomson ARPA: rthomson@dsd.es.com PEXt Programmer
augustss@cs.chalmers.se (Lennart Augustsson) (03/29/91)
In article <1991Mar27.220605.27299@dsd.es.com> rthomson@dsd.es.com (Rich Thomson) writes: >>Cameron Laird writes: >>>> A postscript: if someone knows what FP environment is free, >>>> easy-to-install on a PC or SPARCstation, and good practice >>>> for autodidacts, I'm ready to listen. > >I beleive SML (Standard ML of New Jersey, version 66) is freely >available by FTP from research.att.com in dist/ml; there is also >a freely available implementation of LML (Lazy ML), but I am not >sure where it is kept. It's kept at piggy.cs.chalmers.se. The LML compiler also inludes a Haskell compiler. -- Lennart Augustsson [This signature is intentionally left blank.]
olender@cs.colostate.edu (Kurt Olender) (03/29/91)
There is also an implementation of CAML, an ML variant based on the categorical abstract machine, at nuri.inria.fr (128.93.1.26). It has modules with separate compilation, declarably lazy data structures, and built-in interfaces to Maple, Postscript, LaTeX, and Yacc. It is available by anonymous ftp in /pub/lang/caml/V2.6-1.
rthomson@mesa.dsd.es.com (Rich Thomson) (03/30/91)
In article <1991Mar27.220605.27299@dsd.es.com> I wrote: > I beleive SML (Standard ML of New Jersey, version 66) is freely > available by FTP from research.att.com in dist/ml; there is also > a freely available implementation of LML (Lazy ML), but I am not > sure where it is kept. In article <1991Mar28.171050.29367@mathrt0.math.chalmers.se> augustss@cs.chalmers.se (Lennart Augustsson) writes: > It's kept at piggy.cs.chalmers.se. The LML compiler also inludes a > Haskell compiler. For those of us on this side of the pond, archie revealed the following archives: Host cse.ogi.edu (129.95.10.2) Last updated 05:03 27 Mar 1991 Location: /pub DIRECTORY r-xr-xr-x 512 Dec 3 12:50 lml Host mcsun.eu.net (192.16.202.1) Last updated 20:27 7 Mar 1991 Location: /programming/languages DIRECTORY rwxrwxr-x 512 Feb 12 03:15 lml Host sdcsvax.ucsd.edu (132.239.51.2) Last updated 14:54 7 Mar 1991 Location: /pub DIRECTORY rwxr-xr-x 512 Nov 27 13:49 lml Location: /pub/lml FILE rw-r--r-- 90992 Aug 24 08:58 diff-lml-0.99-lml-0.99.1 FILE rw-r--r-- 111231 Nov 27 13:49 diff-lml-0.99.1-lml-0.99.2.Z FILE rw-r--r-- 19153 Nov 27 13:49 diff-lml-0.99.2-lml-0.99.3 FILE rw-r--r-- 1464183 Aug 23 11:26 lml-0.99.bin-sun3.tar.Z FILE rw-r--r-- 1641449 Aug 23 11:27 lml-0.99.bin-sun4.tar.Z FILE rw-r--r-- 1382575 Aug 23 11:27 lml-0.99.src.tar.Z FILE rw-r--r-- 712011 Aug 29 14:20 lmlcomp-sun3-0.99.Z FILE rw-r--r-- 746417 Aug 29 14:21 lmlcomp-sun4-0.99.1.Z -- Rich -- ``Read my MIPS -- no new VAXes!!'' -- George Bush after sniffing freon Disclaimer: I speak for myself, except as noted. UUCP: ...!uunet!dsd.es.com!rthomson Rich Thomson ARPA: rthomson@dsd.es.com PEXt Programmer