1 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> |
2 |
<HTML> |
<html> |
3 |
<HEAD> |
<head> |
4 |
<META http-equiv="Content-Type" content="text/html; charset=utf-8"> |
|
5 |
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
6 |
|
|
7 |
<!-- Root page for SML/NJ Web site --> |
<!-- Root page for SML/NJ Web site --> |
8 |
<!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories --> |
<!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories --> |
9 |
<!-- BELL-LABS |
<!-- BELL-LABS |
12 |
contact dbm@cs.chicago.edu |
contact dbm@cs.chicago.edu |
13 |
desc a compiler and programming system for a modern functional language |
desc a compiler and programming system for a modern functional language |
14 |
--> |
--> |
15 |
<TITLE>Standard ML of New Jersey</TITLE> |
|
16 |
|
<link rel="icon" href="icon.bmp" type="image/bmp"> |
17 |
|
|
18 |
|
<link rel="SHORTCUT ICON" href="icon.ico"> |
19 |
|
|
20 |
|
<title>Standard ML of New Jersey</title> |
21 |
|
|
22 |
<!-- Changed by: Dave MacQueen, 13-May-1999 --> |
<!-- Changed by: Dave MacQueen, 13-May-1999 --> |
23 |
<META name="description" content="The Standard ML of New Jersey |
|
24 |
|
<meta name="description" content="The Standard ML of New Jersey |
25 |
compiler and programming system"> |
compiler and programming system"> |
26 |
<META name="keywords" content="ML, SML, SML/NJ, Standard ML, functional programming"> |
|
27 |
</HEAD> |
<meta name="keywords" |
28 |
<BODY BGCOLOR="ffffff"> |
content="ML, SML, SML/NJ, Standard ML, functional programming"> |
29 |
|
|
30 |
|
</head> |
31 |
|
|
32 |
|
<body bgcolor="#ffffff"> |
33 |
|
|
34 |
<blockquote> |
<blockquote> |
35 |
<table width="100%"><tr> |
|
36 |
<td align="LEFT"> |
<table width="100%"> |
37 |
<IMG ALIGN="MIDDLE" ALT="SML/NJ" SRC="GIFS/Lindig2.jpg"> |
<tbody> |
38 |
<td align="CENTER"><big><big><strong>Standard ML<br>of New Jersey</strong></big></big> |
<tr> |
39 |
<td align="RIGHT"><a href="http://www.bell-labs.com"><img border=0 align=middle alt="Lucent Technologies, Bell Labs Innovations" |
<td align="left"> |
40 |
src = "GIFS/lucent.gif"></a></table> |
<img align="middle" alt="SML/NJ" src="Lindig2.jpeg"> |
41 |
<HR> |
</td> |
42 |
<p> |
<td align="center"> |
43 |
<A HREF="smlnj.html"><strong>Standard ML of New Jersey</strong></A> (abbreviated |
<big><big><strong> |
44 |
<strong>SML/NJ</strong>) is a compiler for the <A HREF="sml97.html"><strong>Standard ML |
Standard ML<br> of New Jersey |
45 |
'97</strong></A> programming language with associated libraries, tools, and |
</strong></big></big> |
46 |
documentation. SML/NJ is <A HREF="license.html">free, open source</A> software. |
</td> |
47 |
<p> |
<td align="right"> |
48 |
<H3><A HREF="new.html">What's New</A></H3> |
<a href="http://www.bell-labs.com/"> |
49 |
<ul> |
<img border="0" align="middle" |
50 |
<li> <A HREF="new.html#SF-mirror"> SourceForge mirror of SML/NJ web site [October 17, 2001].</A> |
alt="Lucent Technologies, Bell Labs Innovations" |
51 |
<li> <A HREF="new.html#110.36"> Working version 110.36 available.</A> |
src="lucent.gif"> |
52 |
This is mainly a bugfix release. |
</a> |
53 |
<li> Working version 110.35 available. We have |
</td> |
54 |
reworked the organization of compiler libraries. There are also |
</tr> |
55 |
several important bug fixes. |
</tbody> |
56 |
<li> Working version 110.34 available. This |
</table> |
57 |
version brings renewed support for CML and eXene, several bug fixes, |
|
58 |
and further improvements to the new FFI. |
<hr> |
59 |
<li> <A HREF="new.html#macosx"> Working version 110.33 available with |
|
60 |
Mac OS X support and experimental FFI [June 6, 2001]</A> |
<p><a href="smlnj.html"><strong>Standard ML of New Jersey</strong></a> |
61 |
<li> <A HREF="new.html#smlnj.exe"> New 110.0.7 smlnj.exe |
(abbreviated <strong>SML/NJ</strong>) is |
62 |
fixes error messages when installing under Windows 95/98/ME. [March 23, 2001]</A> |
a compiler for the |
63 |
<li> <A HREF="new.html#sourceforge">New SML and SML/NJ SourceForge |
<a href="sml97.html"><strong>Standard ML '97</strong></a> |
64 |
projects [1 March 2001]</A>. |
programming language with associated libraries, |
65 |
<li> <A HREF="new.html#prog-smlnj">New SML/NJ tutorial by Riccardo |
tools, and documentation. |
66 |
Pucella available</A>. |
SML/NJ is <a href="license.html">free, open source</a> software. |
67 |
[18 Feb 2001]. |
</p> |
68 |
<li> <A HREF="new.html#sml-mode">emacs sml-mode updated to 3.9.5 in contrib/emacs |
|
69 |
[26 Jan 2001]</A>. |
<a href="new.html"> |
70 |
<li> <A HREF="new.html#110.0.7">New <strong>110.0.7</strong> patch release |
<h3>What's New</h3> |
71 |
available; includes CML fixes, smlnj-lib improvements [October 12, 2000]</A>. |
</a> |
72 |
<li> <A HREF="new.html#Version-111">Version 111 plans</A>. |
|
73 |
</ul> |
<ul> |
74 |
|
<li>We have switched over to a new mailing list hosted by |
75 |
<H3><A HREF="software.html">Downloading SML/NJ Software for Unix or Windows</A></H3> |
<a href="http://sourceforge.net/">SourceForge</a>. The name of |
76 |
<ul> |
the new list is <img src="smlnj-list-logo.jpg" align=center>. |
77 |
<li>Information on <A HREF="software.html">downloading |
(To avoid receiving |
78 |
and installing</A> the <strong>SML/NJ</strong> system and related software. |
to much spam we do not show the name of the mailing list in clear text |
79 |
<li> |
and render it as a JPG image instead. If spammers start using fancy |
80 |
A <strong>self-installing .EXE</strong> for Windows 9X, NT, or 2000 |
OCR, we give up.) |
81 |
is available |
<li><a href="new.html#110.42">Working version 110.42 available.</a> |
82 |
(<a href="dist/smlnj.exe">http</a>, |
This relatively small but important update (among other things) |
83 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/smlnj.exe">ftp</a>; 5.4MB). |
fixes a memory leak problem in CML and provides support for MacOS |
84 |
</ul> |
X 10.2. (We have provided a MacOS <a |
85 |
|
href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.42/smlnj-macosx.dmg">disk |
86 |
<H3>Background</H3> |
image</a> with pre-compiled runtime systems for both MacOS 10.1 |
87 |
<ul> |
and 10.2 for use by those without developer tools. See the README |
88 |
<li> <a href="sml.html">What is <B>SML</B>?</a> |
file within this disk image for details.) |
89 |
<li> <a href="sml97.html">What is <B>SML '97</B>?</a> |
<li><a href="new.html#110.41">Working version 110.41 available.</a> |
90 |
<li> <A HREF="smlnj.html">What is <B>SML/NJ</B>?</A> |
The biggest highlight of this version is that it fixes a long-standing |
91 |
</ul> |
problem with the garbage collector that would lead to constant, slow, |
92 |
|
but unbounded memory leakage. |
93 |
<H3>Documentation and Literature</H3> |
<li>A new <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.40/runtime.tgz"> |
94 |
<UL> |
runtime tarball</a> has been uploaded to our ftp server. It fixes |
95 |
<LI><a href="doc/literature.html#books">Books</a> |
a potentially serious problem with the GC (in programs that allocate |
96 |
<LI><a href="doc/literature.html#tutorials">Tutorials</a> |
very large arrays). |
97 |
<LI><A HREF="doc/index.html">SML/NJ User's Guide</A> |
<li><a href="new.html#110.40">Working version 110.40 available.</a> |
98 |
<LI><A HREF="doc/basis/index.html">SML'97 Basis Library</A> |
This release features many improvements to the libraries and |
99 |
<LI><a href="doc/FAQ/index.html">SML/NJ FAQ (Frequently Asked Questions)</a> |
has seen substantial work on the MLRISC backend.</li> |
100 |
<LI><A HREF="doc/Conversion/index.html">SML'97 Conversion Guide</A> |
<li><a href="new.html#110.39">Working version 110.39 available.</a> |
101 |
<LI><A HREF="doc/Conversion/top-level-comparison.html">Top Level |
This is mainly a bugfix release, but there |
102 |
Environment Comparison</A> |
are also improvements to libraries, FFI generator, and installer.</li> |
103 |
<LI><a href="doc/features.html">Special features of SML/NJ</a> |
<li><a href="new.html#110.38">Working version 110.38 available</a>. |
104 |
<LI><a href="doc/CM/index.html">Compilation Manager (CM)</a> |
This release improves the internal organization |
105 |
<LI><a href="doc/ML-Lex/manual.html">ML-Lex</a> |
of the MLRISC backend and comes with a completely overhauled FFI |
106 |
<LI><a href="doc/ML-Yacc/index.html">ML-Yacc</a> |
implementation. There are also |
107 |
<LI><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/cml/index.html"> |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.38/INSTALL"> |
108 |
Concurrent ML</a> |
new installation instructions</a> |
109 |
<LI><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/eXene/index.html"> |
(which were long overdue).</li> |
110 |
eXene</a> |
<li><a href="new.html#SF-mirror"> SourceForge mirror of SML/NJ web site |
111 |
<LI><a href="doc/SMLNJ-C/index.html">SML/NJ-C foreign function interface</a> |
[October 17, 2001].</a></li> |
112 |
<LI><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html">MLRISC</a> |
<li>Working version 110.35 available. We have reworked the |
113 |
<LI><A HREF="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html">comp.lang.ml FAQ</A> |
organization of compiler libraries. There are also several important |
114 |
<LI><A href="compiler-notes/index.html">Compiler notes</a> |
bug fixes.</li> |
115 |
<p> |
<li>Working version 110.34 available. This version brings renewed |
116 |
|
support for CML and eXene, several bug fixes, and further improvements |
117 |
|
to the new FFI.</li> |
118 |
|
<li><a href="new.html#macosx"> Working version 110.33 available with |
119 |
|
Mac OS X support and experimental FFI [June 6, 2001]</a></li> |
120 |
|
<li><a href="new.html#smlnj.exe">New 110.0.7 smlnj.exe</a> |
121 |
|
fixes error messages when installing under Windows 95/98/ME. |
122 |
|
[March 23, 2001]</li> |
123 |
|
<li><a href="new.html#sourceforge">New SML and SML/NJ SourceForge projects |
124 |
|
[1 March 2001]</a>.</li> |
125 |
|
<li><a href="new.html#prog-smlnj">New SML/NJ tutorial</a> |
126 |
|
by Riccardo Pucella available. [18 Feb 2001].</li> |
127 |
|
<li> <a href="new.html#sml-mode">emacs sml-mode updated to 3.9.5</a> |
128 |
|
in contrib/emacs [26 Jan 2001]</a>.</li> |
129 |
|
<li> <a href="new.html#110.0.7">New <strong>110.0.7</strong> patch release |
130 |
|
available</a>; includes CML fixes, smlnj-lib improvements |
131 |
|
[October 12, 2000]. </li> |
132 |
|
<li><a href="new.html#Version-111">Version 111 plans</a>.</li> |
133 |
|
</ul> |
134 |
|
|
135 |
|
<a href="software.html"> |
136 |
|
<h3>Downloading SML/NJ Software for Unix or Windows</h3> |
137 |
|
</a> |
138 |
|
|
139 |
|
<ul> |
140 |
|
<li>Information on <a href="software.html">downloading and installing</a> |
141 |
|
the <strong>SML/NJ</strong>system and related software.</li> |
142 |
|
<li> A <strong>self-installing .EXE</strong> for Windows 9X, NT, or |
143 |
|
2000 is available (<a href="dist/smlnj.exe">http</a>, |
144 |
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/smlnj.exe"> |
145 |
|
ftp</a>; 5.4MB).</li> |
146 |
|
</ul> |
147 |
|
|
148 |
|
<h3>Background</h3> |
149 |
|
|
150 |
|
<ul> |
151 |
|
<li> <a href="sml.html">What is <b>SML</b>?</a></li> |
152 |
|
<li> <a href="sml97.html">What is <b>SML '97</b>?</a></li> |
153 |
|
<li> <a href="smlnj.html">What is <b>SML/NJ</b>?</a></li> |
154 |
|
</ul> |
155 |
|
|
156 |
|
<h3>Documentation and Literature</h3> |
157 |
|
|
158 |
|
<ul> |
159 |
|
<li><a href="doc/literature.html#books">Books</a></li> |
160 |
|
<li><a href="doc/literature.html#tutorials">Tutorials</a></li> |
161 |
|
<li><a href="doc/index.html">SML/NJ User's Guide</a></li> |
162 |
|
<li><a href="doc/basis/index.html">SML'97 Basis Library</a></li> |
163 |
|
<li><a href="doc/FAQ/index.html">SML/NJ FAQ |
164 |
|
(Frequently Asked Questions)</a></li> |
165 |
|
<li><a href="doc/Conversion/index.html">SML'97 Conversion Guide</a></li> |
166 |
|
<li><a href="doc/Conversion/top-level-comparison.html">Top Level Environment |
167 |
|
Comparison</a></li> |
168 |
|
<li><a href="doc/features.html">Special features of SML/NJ</a></li> |
169 |
|
<li><a href="doc/CM/index.html">Compilation Manager (CM)</a></li> |
170 |
|
<li><a href="doc/ML-Lex/manual.html">ML-Lex</a></li> |
171 |
|
<li><a href="doc/ML-Yacc/index.html">ML-Yacc</a></li> |
172 |
|
<li><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/cml/index.html"> |
173 |
|
Concurrent ML</a></li> |
174 |
|
<li><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/eXene/index.html"> |
175 |
|
eXene</a></li> |
176 |
|
<li><a href="doc/SMLNJ-C/index.html">SML/NJ-C foreign function |
177 |
|
interface</a></li> |
178 |
|
<li><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html"> |
179 |
|
MLRISC</a></li> |
180 |
|
<li><a href="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html"> |
181 |
|
comp.lang.ml FAQ</a></li> |
182 |
|
<li><a href="compiler-notes/index.html">Compiler notes</a></li> |
183 |
<li>These |
<li>These |
184 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
185 |
SML/NJ web pages</a>, including the Basis web pages, are |
SML/NJ web pages</a>, |
186 |
available for downloading as a compressed tar file. The |
including the Basis web pages, are available for downloading as a |
187 |
|
compressed tar file. The |
188 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
189 |
Basis documentation pages</a> are also available separately as a gzipped tar file. |
Basis documentation pages</a> are also available separately as a gzipped |
190 |
|
tar file. |
191 |
|
|
192 |
<blockquote> |
<blockquote> |
193 |
<a |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
194 |
href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z</a> |
195 |
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z</a> (1.2MB)<br> |
(1.2MB)<br> |
196 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
197 |
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz</a> |
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz</a> |
198 |
(176KB) |
(176KB) |
199 |
</blockquote> |
</blockquote> |
200 |
</UL> |
</li> |
201 |
|
</ul> |
202 |
|
|
203 |
|
<h3>Reporting Bugs</h3> |
204 |
|
|
|
<H3>Reporting Bugs</H3> |
|
205 |
<ul> |
<ul> |
206 |
<li>Bugs can be reported online using our |
<li>Bugs can be reported online using our |
207 |
<A HREF="http://www.cs.princeton.edu/~appel/smlnj/bugform.cgi">cgi bug form</A> |
<a href="http://www.cs.princeton.edu/%7Eappel/smlnj/bugform.cgi"> |
208 |
at Princeton. |
cgi bug form</a> at Princeton.</li> |
209 |
<li>You can also submit bug reports by email to |
<li>You can also submit bug reports by email to |
210 |
<A HREF="mailto:sml-bugs@research.bell-labs.com">sml-bugs@research.bell-labs.com</A> |
<img src="smlnj-list-logo.jpg" align=center> using the |
211 |
using the <A HREF="bug-report-form"> bug report form</A>. |
<a href="bug-report-form">bug report form</a>.</li> |
212 |
<li>The record of <A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/bugs">currently known bugs and the bug history</a> |
<li>The record of |
213 |
for SML/NJ are available via FTP. |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/bugs"> |
214 |
|
currently known bugs and the bug history</a> for SML/NJ are available |
215 |
|
via FTP.</li> |
216 |
</ul> |
</ul> |
217 |
|
|
218 |
<H3><A HREF="links.html">Links</A></H3> |
<a href="links.html"> |
219 |
|
<h3>Links</h3> |
220 |
|
</a> |
221 |
|
|
222 |
<ul> |
<ul> |
223 |
<li>Pointers to programming resources (libraries, tools, example code), |
<li>Pointers to programming resources (libraries, tools, example code), |
224 |
projects using <B>SML/NJ</B>, other <B>SML</B> implementations, |
projects using <b>SML/NJ</b>, other <b>SML</b> implementations, related |
225 |
related compiler research work, and miscellaneous <B>SML</B> links. |
compiler research work, and miscellaneous <b>SML</b> links. |
226 |
The programming resources links will soon move to a separate page |
The programming resources links will soon move to a separate |
227 |
of their own. |
page of their own.</li> |
228 |
</ul> |
</ul> |
229 |
|
|
230 |
<H3><A HREF="people.html"> People</A></H3> |
<a href="people.html"> |
231 |
|
<h3>People</h3> |
232 |
|
</a> |
233 |
|
|
234 |
<ul> |
<ul> |
235 |
<li>Picture of current cast of people involved in the project. |
<li>Picture of current cast of people involved in the project.</li> |
236 |
</ul> |
</ul> |
|
</blockquote> |
|
|
<HR> |
|
|
Send your comments to <A HREF="mailto:sml-nj@research.bell-labs.com">sml-nj@research.bell-labs.com</A><BR> |
|
|
<FONT SIZE="-3"> |
|
|
Copyright © 1996, |
|
|
<A HREF="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</A>. |
|
|
<BR> |
|
|
</FONT> |
|
|
<BR> |
|
|
<HR> |
|
|
<A href="http://sourceforge.net"> |
|
|
<IMG src="http://sourceforge.net/sflogo.php?group_id=20680" width="88" |
|
|
height="31" border="0" alt="SourceForge Logo"></A> |
|
237 |
|
|
238 |
</BODY> |
<hr> |
239 |
</HTML> |
|
240 |
|
Send your comments to <img src="smlnj-list-logo.jpg" align=center>. |
241 |
|
|
242 |
|
<br> |
243 |
|
|
244 |
|
<font size="-3">Copyright © 1996, |
245 |
|
<a href="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</a>. |
246 |
|
</font> |
247 |
|
|
248 |
|
<br> |
249 |
|
|
250 |
|
<hr> |
251 |
|
|
252 |
|
<a href="http://sourceforge.net/"> |
253 |
|
<img src="sflogo.png" width="88" height="31" |
254 |
|
border="0" alt="SourceForge Logo"> |
255 |
|
</a> |
256 |
|
|
257 |
|
</body> |
258 |
|
</html> |