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) 2013 The Fellowship of SML/NJ --> |
9 |
<!-- BELL-LABS |
<!-- |
10 |
kw programming language compiler functional symbolic |
kw programming language compiler functional symbolic |
11 |
category project |
category project |
12 |
contact dbm@cs.chicago.edu |
contact macqueen@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 |
<!-- Changed by: Dave MacQueen, 13-May-1999 --> |
<link rel="icon" href="icon.bmp" type="image/bmp"> |
17 |
<META name="description" content="The Standard ML of New Jersey |
|
18 |
|
<link rel="SHORTCUT ICON" href="icon.ico"> |
19 |
|
|
20 |
|
<title>Standard ML of New Jersey</title> |
21 |
|
|
22 |
|
<meta name="description" content="The Standard ML of New Jersey |
23 |
compiler and programming system"> |
compiler and programming system"> |
24 |
<META name="keywords" content="ML, SML, SML/NJ, Standard ML, functional programming"> |
|
25 |
</HEAD> |
<meta name="keywords" |
26 |
<BODY BGCOLOR="ffffff"> |
content="ML, SML, SML/NJ, Standard ML, functional programming"> |
27 |
|
|
28 |
|
</head> |
29 |
|
|
30 |
|
<body bgcolor="#ffffff"> |
31 |
|
|
32 |
<blockquote> |
<blockquote> |
33 |
<table width="100%"><tr><td> |
|
34 |
<IMG ALIGN="MIDDLE" ALT="SML/NJ" SRC="GIFS/Lindig2.jpg"> |
<table width="100%"> |
35 |
<td align="CENTER"><big><big><strong>Standard ML<br>of New Jersey</strong></big></big> |
<tbody> |
36 |
<td><a href="http://www.bell-labs.com"><img border=0 align=middle alt="Lucent Technologies, Bell Labs Innovations" |
<tr> |
37 |
src = "GIFS/lucent.gif"></a></table> |
<td align="left"> |
38 |
<HR> |
<img align="middle" alt="SML/NJ" src="Lindig2.jpeg"> |
39 |
<p> |
</td> |
40 |
<A HREF="smlnj.html"><strong>Standard ML of New Jersey</strong></A> (abbreviated |
<td align="center"> |
41 |
<strong>SML/NJ</strong>) is a compiler for the <A HREF="sml97.html"><strong>Standard ML |
<big><big><strong> |
42 |
'97</strong></A> programming language with associated libraries, tools, and |
Standard ML<br> of New Jersey |
43 |
documentation. SML/NJ is <A HREF="license.html">free, open source</A> software. |
</strong></big></big> |
44 |
<p> |
</td> |
45 |
<H3><A HREF="new.html">What's New</A></H3> |
<td align="right"> |
46 |
<ul> |
|
47 |
<li> <A HREF="new.html#SF-mirror"> SourceForge mirror of SML/NJ web site [October 17, 2001].</A> |
</td> |
48 |
<li> <A HREF="new.html#110.36"> Working version 110.36 available.</A> |
</tr> |
49 |
This is mainly a bugfix release. |
</tbody> |
50 |
<li> Working version 110.35 available. We have |
</table> |
51 |
reworked the organization of compiler libraries. There are also |
|
52 |
several important bug fixes. |
<hr> |
53 |
<li> Working version 110.34 available. This |
|
54 |
version brings renewed support for CML and eXene, several bug fixes, |
<p><a href="smlnj.html"><strong>Standard ML of New Jersey</strong></a> |
55 |
and further improvements to the new FFI. |
(abbreviated <strong>SML/NJ</strong>) is |
56 |
<li> <A HREF="new.html#macosx"> Working version 110.33 available with |
a compiler for the |
57 |
Mac OS X support and experimental FFI [June 6, 2001]</A> |
<a href="sml97.html"><strong>Standard ML '97</strong></a> |
58 |
<li> <A HREF="new.html#smlnj.exe"> New 110.0.7 smlnj.exe |
programming language with associated libraries, |
59 |
fixes error messages when installing under Windows 95/98/ME. [March 23, 2001]</A> |
tools, and documentation. |
60 |
<li> <A HREF="new.html#sourceforge">New SML and SML/NJ SourceForge |
SML/NJ is <a href="license.html">free, open source</a> software. |
61 |
projects [1 March 2001]</A>. |
</p> |
62 |
<li> <A HREF="new.html#prog-smlnj">New SML/NJ tutorial by Riccardo |
|
63 |
Pucella available</A>. |
<a href="dist/working/index.html"> |
64 |
[18 Feb 2001]. |
<h3>Downloads</h3> |
65 |
<li> <A HREF="new.html#sml-mode">emacs sml-mode updated to 3.9.5 in contrib/emacs |
</a> |
66 |
[26 Jan 2001]</A>. |
The Current release is <a href="dist/working/110.76/index.html">110.76</a>. |
67 |
<li> <A HREF="new.html#110.0.7">New <strong>110.0.7</strong> patch release |
Previous versions are also available through our |
68 |
available; includes CML fixes, smlnj-lib improvements [October 12, 2000]</A>. |
<a href="dist/working/index.html">release history</a> page. |
69 |
<li> <A HREF="new.html#Version-111">Version 111 plans</A>. |
|
70 |
</ul> |
<a href="svn.html"> |
71 |
|
<h3>Subversion access</h3> |
72 |
<H3><A HREF="software.html">Downloading SML/NJ Software for Unix or Windows</A></H3> |
</a> |
73 |
<ul> |
|
74 |
<li>Information on <A HREF="software.html">downloading |
Our master source repository is kept on a |
75 |
and installing</A> the <strong>SML/NJ</strong> system and related software. |
<a href="http://gforge.org/">GForge</a> server |
76 |
<li> |
under <a href="http://subversion.tigris.org/">Subversion</a> control. We provide anonymous |
77 |
A <strong>self-installing .EXE</strong> for Windows 9X, NT, or 2000 |
read-only access to the repository, so anyone can download a snapshot |
78 |
is available |
of the most recent sources at any |
79 |
(<a href="dist/smlnj.exe">http</a>, |
time. <a href="svn.html">Instructions are here.</a> |
80 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/smlnj.exe">ftp</a>; 5.4MB). |
|
81 |
</ul> |
<h3>Plans</h3> |
|
|
|
|
<H3>Background</H3> |
|
|
<ul> |
|
|
<li> <a href="sml.html">What is <B>SML</B>?</a> |
|
|
<li> <a href="sml97.html">What is <B>SML '97</B>?</a> |
|
|
<li> <A HREF="smlnj.html">What is <B>SML/NJ</B>?</A> |
|
|
</ul> |
|
|
|
|
|
<H3>Documentation and Literature</H3> |
|
|
<UL> |
|
|
<LI><a href="doc/literature.html#books">Books</a> |
|
|
<LI><a href="doc/literature.html#tutorials">Tutorials</a> |
|
|
<LI><A HREF="doc/index.html">SML/NJ User's Guide</A> |
|
|
<LI><A HREF="doc/basis/index.html">SML'97 Basis Library</A> |
|
|
<LI><a href="doc/FAQ/index.html">SML/NJ FAQ (Frequently Asked Questions)</a> |
|
|
<LI><A HREF="doc/Conversion/index.html">SML'97 Conversion Guide</A> |
|
|
<LI><A HREF="doc/Conversion/top-level-comparison.html">Top Level |
|
|
Environment Comparison</A> |
|
|
<LI><a href="doc/features.html">Special features of SML/NJ</a> |
|
|
<LI><a href="doc/CM/index.html">Compilation Manager (CM)</a> |
|
|
<LI><a href="doc/ML-Lex/manual.html">ML-Lex</a> |
|
|
<LI><a href="doc/ML-Yacc/index.html">ML-Yacc</a> |
|
|
<LI><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/cml/index.html"> |
|
|
Concurrent ML</a> |
|
|
<LI><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/eXene/index.html"> |
|
|
eXene</a> |
|
|
<LI><a href="doc/SMLNJ-C/index.html">SML/NJ-C foreign function interface</a> |
|
|
<LI><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html">MLRISC</a> |
|
|
<LI><A HREF="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html">comp.lang.ml FAQ</A> |
|
|
<LI><A href="compiler-notes/index.html">Compiler notes</a> |
|
82 |
<p> |
<p> |
83 |
<li>These |
We are currently planning two more releases using the current version numbering |
84 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
scheme: one that will add 64-bit support, and another that will add some |
85 |
SML/NJ web pages</a>, including the Basis web pages, are |
additional improvements to type error messages (the order of these releases is unclear). |
86 |
available for downloading as a compressed tar file. The |
After that we plan to reset |
87 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
the numbering scheme for SML/NJ versions, starting with 4.0 |
88 |
Basis documentation pages</a> are also available separately as a gzipped tar file. |
(<i>i.e.</i>, 110.79 => 4.0). |
89 |
<blockquote> |
</p> |
90 |
<a |
|
91 |
href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
<a href="new.html"> |
92 |
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z</a> (1.2MB)<br> |
<h3>What's New</h3> |
93 |
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
</a> |
94 |
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz</a> |
|
95 |
(176KB) |
<ul> |
96 |
</blockquote> |
<li>[08/23/13] Version <a href="dist/working/110.76/index.html">110.76</a> is |
97 |
</UL> |
released. |
98 |
|
See the <a href="dist/working/110.76/110.76-README.html">README</a> |
99 |
|
for details. |
100 |
|
</li> |
101 |
|
<li>[10/01/12] Version <a href="dist/working/110.75/index.html">110.75</a> is |
102 |
|
released. |
103 |
|
See the <a href="dist/working/110.75/110.75-README.html">README</a> |
104 |
|
for details. |
105 |
|
</li> |
106 |
|
<li>[01/31/12] Version <a href="dist/working/110.74/index.html">110.74</a> is |
107 |
|
released. |
108 |
|
See the <a href="dist/working/110.74/110.74-README.html">README</a> |
109 |
|
for details. |
110 |
|
</li> |
111 |
|
<li><a href="old-news.html">Older news</a></li> |
112 |
|
</ul> |
113 |
|
|
114 |
|
<a href="software.html"> |
115 |
|
<h3>Downloading SML/NJ Software for Unix or Windows</h3> |
116 |
|
</a> |
117 |
|
|
118 |
|
<ul> |
119 |
|
<li>Information on <a href="software.html">downloading and installing</a> |
120 |
|
the <strong>SML/NJ</strong> system and related software.</li> |
121 |
|
<li> A Windows <strong>msi installer</strong> for Windows XP/Vista/7 |
122 |
|
is available (<a href="dist/working/110.76/smlnj.msi">smlnj.msi</a>).</li> |
123 |
|
</ul> |
124 |
|
|
125 |
|
<h3>Background</h3> |
126 |
|
|
127 |
|
<ul> |
128 |
|
<li> <a href="sml.html">What is <b>SML</b>?</a></li> |
129 |
|
<li> <a href="sml97.html">What is <b>SML '97</b>?</a></li> |
130 |
|
<li> <a href="smlnj.html">What is <b>SML/NJ</b>?</a></li> |
131 |
|
</ul> |
132 |
|
|
133 |
|
<h3>Documentation and Literature</h3> |
134 |
|
|
135 |
|
<ul> |
136 |
|
<li><a href="doc/literature.html#books">Books</a></li> |
137 |
|
<li><a href="doc/literature.html#tutorials">Tutorials</a></li> |
138 |
|
<li><a href="doc/index.html">SML/NJ User's Guide</a></li> |
139 |
|
<li><a href="http://www.standardml.org/Basis">SML'97 Basis Library</a></li> |
140 |
|
<li><a href="doc/FAQ/index.html">SML/NJ FAQ |
141 |
|
(Frequently Asked Questions)</a></li> |
142 |
|
<li><a href="doc/Conversion/index.html">SML'97 Conversion Guide</a></li> |
143 |
|
<li><a href="doc/Conversion/top-level-comparison.html">Top Level Environment |
144 |
|
Comparison</a></li> |
145 |
|
<li><a href="doc/features.html">Special features of SML/NJ</a></li> |
146 |
|
<li><a href="doc/CM/index.html">Compilation Manager (CM)</a></li> |
147 |
|
<li><a href="doc/ml-lpt/manual.pdf">ML Language Processing Tools (ml-ulex and ml-antl)</a></li> |
148 |
|
<li><a href="doc/ML-Lex/manual.html">ML-Lex</a></li> |
149 |
|
<li><a href="doc/ML-Yacc/index.html">ML-Yacc</a></li> |
150 |
|
<li><a href="http://cml.cs.uchicago.edu/">Concurrent ML</a></li> |
151 |
|
<li><a href="http://www.cis.ksu.edu/~stough/eXene/index.html">eXene</a></li> |
152 |
|
<li><a href="doc/SMLNJ-C/index.html">SML/NJ-C foreign function |
153 |
|
interface</a></li> |
154 |
|
<li><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html"> |
155 |
|
MLRISC</a></li> |
156 |
|
<li><a href="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html"> |
157 |
|
comp.lang.ml FAQ</a></li> |
158 |
|
<li><a href="compiler-notes/index.html">Compiler notes</a></li> |
159 |
|
</ul> |
160 |
|
|
161 |
|
<h3>Reporting Bugs</h3> |
162 |
|
|
|
<H3>Reporting Bugs</H3> |
|
163 |
<ul> |
<ul> |
164 |
<li>Bugs can be reported online using our |
<li>Bugs can be reported online using our |
165 |
<A HREF="http://www.cs.princeton.edu/~appel/smlnj/bugform.cgi">cgi bug form</A> |
<a href="https://smlnj-gforge.cs.uchicago.edu/bugform.php">PHP bug form</a>.</li> |
|
at Princeton. |
|
166 |
<li>You can also submit bug reports by email to |
<li>You can also submit bug reports by email to |
167 |
<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 |
168 |
using the <A HREF="bug-report-form"> bug report form</A>. |
<a href="bugs/bug-report-form">bug report form</a>.</li> |
169 |
<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>A legacy record of known bugs and the bug history</a> for |
170 |
for SML/NJ are available via FTP. |
SML/NJ are available via the <a href="bugs/index.html">bugs web page</a>.</li> |
171 |
|
<li>Recent submissions should appear in the <a href="http://smlnj-gforge.cs.uchicago.edu/tracker/?atid=215&group_id=33">GForge tracker</a> .</li> |
172 |
</ul> |
</ul> |
173 |
|
|
174 |
<H3><A HREF="links.html">Links</A></H3> |
<a href="links.html"> |
175 |
|
<h3>Links</h3> |
176 |
|
</a> |
177 |
|
|
178 |
<ul> |
<ul> |
179 |
<li>Pointers to programming resources (libraries, tools, example code), |
<li>Pointers to programming resources (libraries, tools, example code), |
180 |
projects using <B>SML/NJ</B>, other <B>SML</B> implementations, |
projects using <b>SML/NJ</b>, other <b>SML</b> implementations, related |
181 |
related compiler research work, and miscellaneous <B>SML</B> links. |
compiler research work, and miscellaneous <b>SML</b> links. |
182 |
The programming resources links will soon move to a separate page |
The programming resources links will soon move to a separate |
183 |
of their own. |
page of their own.</li> |
184 |
</ul> |
</ul> |
185 |
|
|
186 |
<H3><A HREF="people.html"> People</A></H3> |
<a href="people.html"> |
187 |
<ul> |
<h3>People</h3> |
188 |
<li>Picture of current cast of people involved in the project. |
</a> |
189 |
</ul> |
|
190 |
</blockquote> |
<ul> |
191 |
<HR> |
<li>Picture of current cast of people involved in the project.</li> |
192 |
Send your comments to <A HREF="mailto:sml-nj@research.bell-labs.com">sml-nj@research.bell-labs.com</A><BR> |
</ul> |
193 |
<FONT SIZE="-3"> |
|
194 |
Copyright © 1996, |
<hr> |
195 |
<A HREF="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</A>. |
|
196 |
<BR> |
<p> |
197 |
</FONT> |
This project is based upon work supported in part by the National |
198 |
</BODY> |
Science Foundation under Grant No. CNS-0454136. |
199 |
</HTML> |
</p> |
200 |
|
|
201 |
|
<p> |
202 |
|
Any opinions, findings and conclusions or recommendations expressed in |
203 |
|
this material are those of the author(s) and do not necessarily |
204 |
|
reflect the views of the National Science Foundation (NSF). |
205 |
|
</p> |
206 |
|
|
207 |
|
<hr /> |
208 |
|
<p>Send your comments to <img src="smlnj-list-logo.jpg" align=center>.</p> |
209 |
|
|
210 |
|
<p><font size="-2">Copyright © 2004-2013, the SML/NJ Fellowship</a>.</font></p> |
211 |
|
|
212 |
|
</body> |
213 |
|
</html> |