home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / function / 1068 < prev    next >
Encoding:
Internet Message Format  |  1992-09-08  |  2.2 KB
  1. Path: sparky!uunet!mcsun!corton!seti!pomerol.inria.fr!xleroy
  2. From: Xavier.Leroy@inria.fr (Xavier Leroy)
  3. Newsgroups: comp.lang.functional
  4. Subject: Re: ibmpc versions of sml and caml wanted
  5. Message-ID: <4155@seti.UUCP>
  6. Date: 7 Sep 92 13:52:04 GMT
  7. References: <1992Aug28.141758.91@uts.uni-c.dk> <DHK6H6N@hp832.informatik.hu-berlin.de> <1992Sep1.132959.29515@cnam.cnam.fr>
  8. Sender: news@seti.UUCP
  9. Organization: INRIA Rocquencourt, France
  10. Lines: 40
  11.  
  12. I'm afraid this repost is just missing the point.  The original
  13. posting asks for IBM PC implementations of Caml.  The ``Caml Strong''
  14. implementation, described in the repost, does not run on the PC.
  15.  
  16. On the other hand, there is a PC version of the Caml Light
  17. implementation.  Actually, there are two of them: one runs on any PC,
  18. but is severely limited by the 640k barrier; the other requires a
  19. 80386 or 80486, but runs in protected mode, meaning no memory
  20. limitations and reasonable speed.
  21.  
  22. All Caml implementations are available by anonymous FTP from
  23. nuri.inria.fr (128.93.1.26).  Caml Light is in directory
  24. lang/caml-light.  The currently distributed version is 0.4.  Release
  25. 0.5 is coming Real Soon Now.  It adds some interesting language
  26. features (e.g. Mauny's parsers and printers over streams).  There's
  27. now a complete user's manual.  And lots of work has been done on the
  28. microcomputer ports, in particular to add a portable set of graphics
  29. primitives.
  30.  
  31. Concerning SML on a PC, I have heard about three implementations:
  32.  
  33. * Micro-ML, or uML, developed at University of Umea.
  34. It is available by anonymous FTP from ftp.cs.ume.se, file
  35. pub/uml021.zoo.  This is an interpreter for the core SML language,
  36. without the modules.
  37.  
  38. * A port of Edinburgh ML 0.35. Available by FTP from
  39. forwiss.uni-passau.de.
  40.  
  41. * A port of the New Jersey compiler to the 80386 PC under Windows,
  42. developed by Yngvi Guttesen at the Technical University of Denmark.  A
  43. report on this appeared in the last ML workshop, but I don't know if
  44. the system is distributed yet. Seems to require a high-end PC (32M).
  45.  
  46.  
  47. - Xavier Leroy
  48.  
  49. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  50. % The Caml Light racing team, projet Formel, INRIA Rocquencourt, France %
  51. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  52.