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