home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / comp / lang / function / 1063 < prev    next >
Encoding:
Internet Message Format  |  1992-09-04  |  5.8 KB
  1. Path: sparky!uunet!sun-barr!ames!agate!ucbvax!pasteur.fr!bloch
  2. From: bloch@pasteur.fr (Laurent Bloch)
  3. Newsgroups: comp.lang.functional
  4. Subject: ibmpc versions of sml and caml wanted
  5. Message-ID: <199209041423.AA16922@mendel.sis.pasteur.fr>
  6. Date: 4 Sep 92 14:25:47 GMT
  7. Sender: daemon@ucbvax.BERKELEY.EDU
  8. Lines: 134
  9. X-Unparsable-Date: Fri, 4 Sep 92 16:23:58 MET DST
  10.  
  11. Newsgroups: comp.lang.functional
  12. Path: cnam!bloch
  13. From: bloch@cnam.cnam.fr (Laurent Bloch)
  14. Subject: Re: ibmpc versions of sml and caml wanted
  15. Message-ID: <1992Sep1.132959.29515@cnam.cnam.fr>
  16. Organization: Conservatoire National des Arts et Metiers
  17. References: <1992Aug28.141758.91@uts.uni-c.dk> <DHK6H6N@hp832.informatik.hu-berlin.de>
  18. Date: Tue, 1 Sep 1992 13:29:59 GMT
  19. Lines: 126
  20. > 
  21. Subject: [comp.lang.functional...] CAML V2-6.1 on nuri.inria.fr
  22. > >Organization: INRIA Rocquencourt France
  23. > >Keywords: functional ML
  24. Approved: emv@ox.com (Edward Vielmetti)
  25. Xref: cnam comp.archives:1107 comp.lang.functional:591
  26. X-Original-Newsgroups: comp.lang.functional,comp.archives
  27. > 
  28. Archive-name: languages/functional/caml/1991-02-06
  29. Archive-directory: nuri.inria.fr:/languages/caml/V2-6.1/ [128.93.1.26]
  30. Original-posting-by: mauny@margaux.inria.fr (Michel Mauny)
  31. Original-subject: CAML V2-6.1 on nuri.inria.fr
  32. Reposted-by: emv@ox.com (Edward Vielmetti)
  33.  
  34.  
  35. The CAML functional programming language is now freely available by
  36. anonymous ftp from nuri.inria.fr [128.93.1.26].
  37.  
  38. CAML is a language belonging to the ML family including:
  39.  
  40.         lexical binding discipline
  41.         static type inference
  42.         user-defined (sum and product) types
  43.         possibly lazy data structures
  44.         possibly mutable data structures
  45.         interface with the Yacc parser generator
  46.         pretty-printing tools
  47.         and a complete library.
  48.  
  49. The distribution includes a complete documentation (a primer, 80
  50. pages, and the reference manual, 490 pages) in source and dvi formats.
  51. These documents are also available as INRIA tech-reports (number 121
  52. > et 122).
  53.  
  54. Currently, the archive contains ports to the following machines:
  55.  
  56.         Sun3
  57.         Sun4
  58.         Sony News 68k
  59.         NeXt 68k
  60.         Dec Stations 3100 and 5000
  61.         MacIntosh A/UX
  62.         HP 9300
  63.         Vax (4.3 BSD)
  64.  
  65. The size of the compressed archive is about:
  66.         common part:            2Mb
  67.         machine-specific part:  2.5Mb
  68.         documentation:          3Mb
  69.  
  70. Once installed, the size of the whole system is 15Mb + documentation
  71. (optional installation).
  72.  
  73. This is what you obtain after login (user anonymous, any passwd):
  74. ftp> cd languages/caml/V2-6.1
  75. 250 CWD command successful.
  76. ftp> ls
  77. 200 PORT command successful.
  78. 150 Opening ASCII mode data connection for /bin/ls.
  79. total 19886
  80. -rw-r--r--  1 23861    21117        1994 Jan 22 14:22 CHANGES
  81. -rw-r--r--  1 23861    21117        3776 Jan 22 14:10 CONTENTS.common
  82. -rw-r--r--  1 23861    21117         556 Feb  6 11:44 CONTENTS.hp9300
  83. -rw-r--r--  1 23861    21117         537 Jan 22 14:23 CONTENTS.macaux
  84. -rw-r--r--  1 23861    21117         713 Dec 20 10:32 CONTENTS.mips
  85. -rw-r--r--  1 23861    21117         522 Jan 15 15:58 CONTENTS.next
  86. -rw-r--r--  1 23861    21117         679 Dec 20 11:03 CONTENTS.sony68
  87. -rw-r--r--  1 23861    21117         732 Dec 17 18:59 CONTENTS.sun3
  88. -rw-r--r--  1 23861    21117         990 Dec 14 16:21 CONTENTS.sun4
  89. -rw-r--r--  1 23861    21117         662 Dec 14 13:56 CONTENTS.vax
  90. -rw-r--r--  1 23861    21117        2842 Feb  6 18:55 README
  91. -rw-r--r--  1 23861    21117         473 Dec 21 13:51 README.doc
  92. drwxr-xr-x  4 23861    21117        2048 Feb  6 19:43 bugfixes
  93. -rwxr-xr-x  1 23861    21117        1586 Jan 22 12:13 caml.macaux
  94. -rwxr-xr-x  1 23861    21117        1559 Dec 28 12:02 caml.mips
  95. -rwxr-xr-x  1 23861    21117        1575 Jan 14 17:30 caml.next
  96. -rwxr-xr-x  1 23861    21117        1575 Dec 28 11:45 caml.sony68
  97. -rwxr-xr-x  1 23861    21117        1213 Dec 17 19:09 caml.sun3
  98. -rwxr-xr-x  1 23861    21117        1810 Dec 28 11:43 caml.sun4
  99. -rwxr-xr-x  1 23861    21117        1570 Jan 22 14:34 caml.vax
  100. -rw-r--r--  1 23861    21117     1979834 Jan 22 14:29 common.tar.Z
  101. -rw-r--r--  1 23861    21117     2884839 Dec 14 18:15 doc.tar.Z
  102. -rw-r--r--  1 23861    21117     1702681 Feb  6 13:57 hp9300.tar.Z
  103. -rwxr-xr-x  1 23861    21117         708 Feb  6 18:29 install-common
  104. -rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-hp9300
  105. -rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-macaux
  106. -rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-mips
  107. -rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-next
  108. -rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-sony68
  109. -rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-sun3
  110. -rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-sun4
  111. -rwxr-xr-x  1 23861    21117         532 Feb  6 14:12 install-vax
  112. -rw-r--r--  1 23861    21117     1749126 Feb  6 19:37 macaux.tar.Z
  113. -rw-r--r--  1 23861    21117     2101041 Dec 17 15:30 mips.tar.Z
  114. -rw-r--r--  1 23861    21117     1717258 Jan 15 16:07 next.tar.Z
  115. -rw-rw-rw-  1 23861    21117     1784213 Dec 26 16:57 sony68.tar.Z
  116. -rw-r--r--  1 23861    21117     2002712 Dec 17 19:01 sun3.tar.Z
  117. -rw-r--r--  1 23861    21117     2241067 Dec 14 18:00 sun4.tar.Z
  118. -rw-r--r--  1 23861    21117     1905950 Dec 14 10:53 vax.tar.Z
  119. 226 Transfer complete.
  120.  
  121. Any suggestion or installation problem should be reported to
  122. caml@margaux.inria.fr
  123.  
  124. Sincerely,
  125.  
  126. Michel Mauny
  127. ----------------------------------------------------------------------------
  128. Formel Project
  129. INRIA, BP 105, F-78153 Le Chesnay Cedex (France)
  130. E-mail: Michel.Mauny@inria.fr
  131. Telephone: +33 1 39 63 57 96
  132. ----------------------------------------------------------------------------
  133. --
  134. Michel Mauny
  135. INRIA, BP 105, F-78153 Le Chesnay Cedex (France)
  136. E-mail: Michel.Mauny@inria.fr
  137. Telephone: (1) 39 63 57 96
  138.  
  139. -- 
  140. _______________________________________________________________________________
  141.   INTERNET: bloch@pasteur.fr
  142.  
  143.     Laurent Bloch , Institut Pasteur, Paris
  144.  
  145.