home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / comp / lang / function / 1091 < prev    next >
Encoding:
Internet Message Format  |  1992-09-11  |  5.0 KB
  1. Xref: sparky comp.lang.functional:1091 comp.lang.misc:3034 comp.sys.mac.apps:14472 comp.sys.mac.programmer:15369 comp.os.msdos.apps:4714 comp.os.msdos.programmer:9285
  2. Path: sparky!uunet!mcsun!corton!seti!pomerol.inria.fr!xleroy
  3. From: Xavier.Leroy@inria.fr (Xavier Leroy)
  4. Newsgroups: comp.lang.functional,comp.lang.misc,comp.sys.mac.apps,comp.sys.mac.programmer,comp.os.msdos.apps,comp.os.msdos.programmer
  5. Subject: Release 0.5 of Caml Light, an implementation of the ML language
  6. Message-ID: <4207@seti.UUCP>
  7. Date: 11 Sep 92 15:58:05 GMT
  8. Sender: news@seti.UUCP
  9. Followup-To: comp.lang.functional
  10. Organization: INRIA Rocquencourt, France
  11. Lines: 109
  12.  
  13. Caml Light is a small, portable implementation of the ML language,
  14. that runs on most Unix machines. It has also been ported to the
  15. Macintosh and to the IBM PC.
  16.  
  17. Caml Light implements the Caml language, a functional language from
  18. the ML family. Caml is quite close to Standard ML, though not strictly
  19. conformant. There are some slight differences in syntax and semantics,
  20. and major differences in the module system (these changes were
  21. required to support separate compilation).
  22.  
  23. The Caml Light implementation is mature and robust enough to be fully
  24. bootstrapped, yet the whole system is quite small (about 100K for the runtime
  25. system, and another 100K of bytecode for the compiler; 1.5 megabyte of
  26. memory is enough to recompile the whole system), and easy to port to
  27. almost any 32-bit platform. 
  28.  
  29. Caml Light comes in two flavors: a classical, interactive, toplevel-based
  30. system; and a standalone, batch-oriented compiler that produces standalone
  31. programs, in the spirit of the Unix cc compiler.
  32.  
  33. The version 0.5 of the Caml Light system has been released, and is
  34. available by anonymous FTP from:
  35.  
  36.         host:      nuri.inria.fr (128.93.1.26)
  37.  
  38.         directory: lang/caml-light
  39.  
  40.         files:     cl5unix.tar.Z       Complete source code for Unix
  41.                                        machines, plus a bootstrap compiler.
  42.  
  43.                    cl5docps.Z          Compressed Postscript for the
  44.                                        Caml Light documentation (290 pages).
  45.  
  46.                    cl5docdvi.tar.Z     Compressed DVI (with Postscript
  47.                                        inserts) for the Caml Light
  48.                                        documentation (290 pages).
  49.  
  50.                    cl5macbin.sea.hqx   Binaries for the Macintosh version.
  51.  
  52.                    cl5pc386bin.zip     Binaries for the 80386 PC version.
  53.  
  54.                    cl5pc86bin.zip      Binaries for the 8086 PC version.
  55.  
  56.                    cl5macsrc.sea.hqx   Source code for the Macintosh version.
  57.  
  58.                    cl5pc386src.zip     Source code for the 80386 PC version.
  59.  
  60.                    cl5pc86src.zip      Source code for the 8086 PC version.
  61.  
  62.  
  63. The Unix version should work on any modern workstation. We have tested
  64. it on Sun 3 and 4, DecStations, HP 9000/700 and 9000/350, IBM RS/6000,
  65. SGI Indigo, Sony News, Next cubes, and some more exotic machines.
  66.  
  67. The Macintosh version is now a standalone Macintosh application, and
  68. no longer requires the Macintosh Programmer's Workshop. (Well, at
  69. least for the toplevel environment; the batch compilers still run
  70. under MPW.) The application provides some graphics primitives.
  71.  
  72. The PC version still comes in two flavors, one that run on any PC, but
  73. is severely limited by the 640K barrier, and one that run on 80386 or
  74. 80486 PC's in 32 bit protected mode to circumvent these limitations.
  75. Both versions now provide the same graphics primitives as the
  76. Macintosh version.
  77.  
  78. Ports to OS/2 and to the Amiga are in progress.
  79.  
  80. MAIN IMPROVEMENTS IN THIS RELEASE:
  81.  
  82. * Much more documentation. There's now a reference manual for the
  83. language, and a complete description of the commands. The tutorial has
  84. been extended, too.
  85.  
  86. * Language extensions: streams and stream parsers, a la Mauny/de
  87. Rauglaudre.
  88.  
  89. * Extensions to the environment: a general mechanism to link Caml
  90. Light code with C code. An X-windows toolkit based on this mechanism
  91. should be released soon. A new command, camllibr, to build libraries
  92. of Caml Light object files. A new command, camlmktop, to construct
  93. custom toplevel systems.
  94.  
  95. * Bug fixes: many of them.
  96.  
  97. * Implementation changes: a new garbage collector. The major collector
  98. is now incremental, meaning that garbage collection is even less
  99. disruptive than before. Many minor optimizations in the compiler
  100. back-end. The linker has been completely reworked, and is now clever
  101. enough to avoid linking in useless code.
  102.  
  103. * For the PC versions: line editing is supported. The 80386 port is
  104. VCPI-compliant.
  105.  
  106. FEEDBACK:
  107.  
  108. Please send your questions and comments to the Caml mailing list:
  109.  
  110.                 caml-list@margaux.inria.fr
  111.  
  112. To subscribe or unsubscribe to the list, mail to
  113. caml-list-request@margaux.inria.fr.
  114.  
  115.  
  116. - Xavier Leroy
  117.  
  118. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  119. % The Caml Light racing team, projet Formel, INRIA Rocquencourt.     %
  120. % "Low tar, Caml taste".                                             %
  121. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  122.