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 |
<!-- Root page for SML/NJ Web site --> |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
6 |
<!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories --> |
<!-- Root page for SML/NJ Web site --> <!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories --> |
7 |
<!-- BELL-LABS |
<!-- BELL-LABS |
8 |
kw programming language compiler functional symbolic |
kw programming language compiler functional symbolic |
9 |
category project |
category project |
10 |
contact dbm@cs.chicago.edu |
contact dbm@cs.chicago.edu |
11 |
desc a compiler and programming system for a modern functional language |
desc a compiler and programming system for a modern functional language |
12 |
--> |
--> |
13 |
<TITLE>Standard ML of New Jersey</TITLE> |
|
14 |
|
<link rel="icon" href="icon.bmp" type="image/bmp"> |
15 |
|
|
16 |
|
<link rel="SHORTCUT ICON" href="icon.ico"> |
17 |
|
<title>Standard ML of New Jersey</title> |
18 |
<!-- Changed by: Dave MacQueen, 13-May-1999 --> |
<!-- Changed by: Dave MacQueen, 13-May-1999 --> |
19 |
<META name="description" content="The Standard ML of New Jersey |
<meta name="description" content="The Standard ML of New Jersey |
20 |
compiler and programming system"> |
compiler and programming system"> |
21 |
<META name="keywords" content="ML, SML, SML/NJ, Standard ML, functional programming"> |
|
22 |
</HEAD> |
<meta name="keywords" content="ML, SML, SML/NJ, Standard ML, functional programming"> |
23 |
<BODY BGCOLOR="ffffff"> |
</head> |
24 |
<blockquote> |
<body bgcolor="#ffffff"> |
25 |
<table width="100%"><tr><td> |
|
|
<IMG ALIGN="MIDDLE" ALT="SML/NJ" SRC="GIFS/Lindig2.jpg"> |
|
|
<td align="CENTER"><big><big><strong>Standard ML<br>of New Jersey</strong></big></big> |
|
|
<td><a href="http://www.bell-labs.com"><img border=0 align=middle alt="Lucent Technologies, Bell Labs Innovations" |
|
|
src = "GIFS/lucent.gif"></a></table> |
|
|
<HR> |
|
|
<p> |
|
|
<A HREF="smlnj.html"><strong>Standard ML of New Jersey</strong></A> (abbreviated |
|
|
<strong>SML/NJ</strong>) is a compiler for the <A HREF="sml97.html"><strong>Standard ML |
|
|
'97</strong></A> programming language with associated libraries, tools, and |
|
|
documentation. SML/NJ is <A HREF="license.html">free, open source</A> software. |
|
|
<p> |
|
|
<H3><A HREF="new.html">What's New</A></H3> |
|
|
<ul> |
|
|
<li> <A HREF="new.html#SF-mirror"> SourceForge mirror of SML/NJ web site [October 17, 2001].</A> |
|
|
<li> <A HREF="new.html#110.36"> Working version 110.36 available.</A> |
|
|
This is mainly a bugfix release. |
|
|
<li> Working version 110.35 available. We have |
|
|
reworked the organization of compiler libraries. There are also |
|
|
several important bug fixes. |
|
|
<li> Working version 110.34 available. This |
|
|
version brings renewed support for CML and eXene, several bug fixes, |
|
|
and further improvements to the new FFI. |
|
|
<li> <A HREF="new.html#macosx"> Working version 110.33 available with |
|
|
Mac OS X support and experimental FFI [June 6, 2001]</A> |
|
|
<li> <A HREF="new.html#smlnj.exe"> New 110.0.7 smlnj.exe |
|
|
fixes error messages when installing under Windows 95/98/ME. [March 23, 2001]</A> |
|
|
<li> <A HREF="new.html#sourceforge">New SML and SML/NJ SourceForge |
|
|
projects [1 March 2001]</A>. |
|
|
<li> <A HREF="new.html#prog-smlnj">New SML/NJ tutorial by Riccardo |
|
|
Pucella available</A>. |
|
|
[18 Feb 2001]. |
|
|
<li> <A HREF="new.html#sml-mode">emacs sml-mode updated to 3.9.5 in contrib/emacs |
|
|
[26 Jan 2001]</A>. |
|
|
<li> <A HREF="new.html#110.0.7">New <strong>110.0.7</strong> patch release |
|
|
available; includes CML fixes, smlnj-lib improvements [October 12, 2000]</A>. |
|
|
<li> <A HREF="new.html#Version-111">Version 111 plans</A>. |
|
|
</ul> |
|
|
|
|
|
<H3><A HREF="software.html">Downloading SML/NJ Software for Unix or Windows</A></H3> |
|
|
<ul> |
|
|
<li>Information on <A HREF="software.html">downloading |
|
|
and installing</A> the <strong>SML/NJ</strong> system and related software. |
|
|
<li> |
|
|
A <strong>self-installing .EXE</strong> for Windows 9X, NT, or 2000 |
|
|
is available |
|
|
(<a href="dist/smlnj.exe">http</a>, |
|
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/smlnj.exe">ftp</a>; 5.4MB). |
|
|
</ul> |
|
|
|
|
|
<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> |
|
|
<p> |
|
|
<li>These |
|
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
|
|
SML/NJ web pages</a>, including the Basis web pages, are |
|
|
available for downloading as a compressed tar file. The |
|
|
<a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
|
|
Basis documentation pages</a> are also available separately as a gzipped tar file. |
|
26 |
<blockquote> |
<blockquote> |
27 |
<a |
<table width="100%"> |
28 |
href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
<tbody> |
29 |
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z</a> (1.2MB)<br> |
<tr> |
30 |
|
<td align="left"> <img align="middle" alt="SML/NJ" src="Lindig2.jpeg"> |
31 |
|
</td> |
32 |
|
<td align="center"><big><big><strong>Standard ML<br> |
33 |
|
of New Jersey</strong></big></big> </td> |
34 |
|
<td align="right"><a href="http://www.bell-labs.com/"><img border="0" align="middle" alt="Lucent Technologies, Bell Labs Innovations" src="lucent.gif"> |
35 |
|
</a></td> |
36 |
|
</tr> |
37 |
|
|
38 |
|
</tbody> |
39 |
|
</table> |
40 |
|
|
41 |
|
<hr> |
42 |
|
<p> <a href="file:///home/sml/Doc/WWW/smlnj/smlnj.html"><strong>Standard |
43 |
|
ML of New Jersey</strong></a> (abbreviated <strong>SML/NJ</strong>) is |
44 |
|
a compiler for the <a href="file:///home/sml/Doc/WWW/smlnj/sml97.html"><strong> |
45 |
|
Standard ML '97</strong></a> programming language with associated libraries, |
46 |
|
tools, and documentation. SML/NJ is <a href="file:///home/sml/Doc/WWW/smlnj/license.html"> |
47 |
|
free, open source</a> software. </p> |
48 |
|
|
49 |
|
<p> </p> |
50 |
|
|
51 |
|
<h3><a href="file:///home/sml/Doc/WWW/smlnj/new.html">What's New</a></h3> |
52 |
|
|
53 |
|
<ul> |
54 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/new.html#110.39">Working |
55 |
|
version 110.39 available.</a> This is mainly a bugfix release, but there |
56 |
|
are also improvements to libraries, FFI generator, and installer.<br> |
57 |
|
</li> |
58 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/new.html#110.38">Working |
59 |
|
version 110.38 available</a>. This release improves the internal organization |
60 |
|
of the MLRISC backend and comes with a completely overhauled FFI implementation. |
61 |
|
There are also <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/110.38/INSTALL"> |
62 |
|
new installation instructions</a> (which were long overdue).<br> |
63 |
|
</li> |
64 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/new.html#SF-mirror"> SourceForge |
65 |
|
mirror of SML/NJ web site [October 17, 2001].</a> </li> |
66 |
|
<li> Working version 110.36 available. This is mainly a bugfix |
67 |
|
release. </li> |
68 |
|
<li> Working version 110.35 available. We have reworked the |
69 |
|
organization of compiler libraries. There are also several important |
70 |
|
bug fixes. </li> |
71 |
|
<li> Working version 110.34 available. This version brings renewed |
72 |
|
support for CML and eXene, several bug fixes, and further improvements |
73 |
|
to the new FFI. </li> |
74 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/new.html#macosx"> Working |
75 |
|
version 110.33 available with Mac OS X support and experimental FFI [June |
76 |
|
6, 2001]</a> </li> |
77 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/new.html#smlnj.exe"> |
78 |
|
New 110.0.7 smlnj.exe fixes error messages when installing under Windows |
79 |
|
95/98/ME. [March 23, 2001]</a> </li> |
80 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/new.html#sourceforge"> |
81 |
|
New SML and SML/NJ SourceForge projects [1 March 2001]</a>. </li> |
82 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/new.html#prog-smlnj"> |
83 |
|
New SML/NJ tutorial by Riccardo Pucella available</a>. [18 Feb 2001]. </li> |
84 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/new.html#sml-mode">emacs |
85 |
|
sml-mode updated to 3.9.5 in contrib/emacs [26 Jan 2001]</a>. </li> |
86 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/new.html#110.0.7">New |
87 |
|
<strong>110.0.7</strong> patch release available; includes CML fixes, |
88 |
|
smlnj-lib improvements [October 12, 2000]</a> . </li> |
89 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/new.html#Version-111"> |
90 |
|
Version 111 plans</a>. </li> |
91 |
|
|
92 |
|
</ul> |
93 |
|
|
94 |
|
<h3><a href="file:///home/sml/Doc/WWW/smlnj/software.html">Downloading |
95 |
|
SML/NJ Software for Unix or Windows</a></h3> |
96 |
|
|
97 |
|
<ul> |
98 |
|
<li>Information on <a href="file:///home/sml/Doc/WWW/smlnj/software.html"> |
99 |
|
downloading and installing</a> the <strong>SML/NJ</strong> system and |
100 |
|
related software. </li> |
101 |
|
<li> A <strong>self-installing .EXE</strong> for Windows 9X, NT, or |
102 |
|
2000 is available (<a href="file:///home/sml/Doc/WWW/smlnj/dist/smlnj.exe"> |
103 |
|
http</a>, <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/release/110/smlnj.exe"> |
104 |
|
ftp</a>; 5.4MB). </li> |
105 |
|
|
106 |
|
</ul> |
107 |
|
|
108 |
|
<h3>Background</h3> |
109 |
|
|
110 |
|
<ul> |
111 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/sml.html">What is <b>SML</b> |
112 |
|
?</a> </li> |
113 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/sml97.html">What is <b> |
114 |
|
SML '97</b>?</a> </li> |
115 |
|
<li> <a href="file:///home/sml/Doc/WWW/smlnj/smlnj.html">What is <b> |
116 |
|
SML/NJ</b>?</a> </li> |
117 |
|
|
118 |
|
</ul> |
119 |
|
|
120 |
|
<h3>Documentation and Literature</h3> |
121 |
|
|
122 |
|
<ul> |
123 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/literature.html#books"> |
124 |
|
Books</a> </li> |
125 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/literature.html#tutorials"> |
126 |
|
Tutorials</a> </li> |
127 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/index.html">SML/NJ |
128 |
|
User's Guide</a> </li> |
129 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/basis/index.html"> |
130 |
|
SML'97 Basis Library</a> </li> |
131 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/FAQ/index.html">SML/NJ |
132 |
|
FAQ (Frequently Asked Questions)</a> </li> |
133 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/Conversion/index.html"> |
134 |
|
SML'97 Conversion Guide</a> </li> |
135 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/Conversion/top-level-comparison.html"> |
136 |
|
Top Level Environment Comparison</a> </li> |
137 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/features.html">Special |
138 |
|
features of SML/NJ</a> </li> |
139 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/CM/index.html">Compilation |
140 |
|
Manager (CM)</a> </li> |
141 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/ML-Lex/manual.html"> |
142 |
|
ML-Lex</a> </li> |
143 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/ML-Yacc/index.html"> |
144 |
|
ML-Yacc</a> </li> |
145 |
|
<li><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/cml/index.html"> |
146 |
|
Concurrent ML</a> </li> |
147 |
|
<li><a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/eXene/index.html"> |
148 |
|
eXene</a> </li> |
149 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/doc/SMLNJ-C/index.html"> |
150 |
|
SML/NJ-C foreign function interface</a> </li> |
151 |
|
<li><a href="http://www.cs.nyu.edu/leunga/www/MLRISC/Doc/html/index.html"> |
152 |
|
MLRISC</a> </li> |
153 |
|
<li><a href="http://www.cis.ohio-state.edu/hypertext/faq/usenet/meta-lang-faq/faq.html"> |
154 |
|
comp.lang.ml FAQ</a> </li> |
155 |
|
<li><a href="file:///home/sml/Doc/WWW/smlnj/compiler-notes/index.html"> |
156 |
|
Compiler notes</a> |
157 |
|
<p> </p> |
158 |
|
</li> |
159 |
|
<li>These <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
160 |
|
SML/NJ web pages</a>, including the Basis web pages, are available for |
161 |
|
downloading as a compressed tar file. The <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/Basis/SMLBasis.tar.gz"> |
162 |
|
Basis documentation pages</a> are also available separately as a gzipped |
163 |
|
tar file. |
164 |
|
<blockquote> <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z"> |
165 |
|
ftp//ftp.research.bell-labs.com/dist/smlnj/doc/SMLNJ/smlnj.tar.Z</a> |
166 |
|
(1.2MB)<br> |
167 |
<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"> |
168 |
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> |
169 |
(176KB) |
(176KB) </blockquote> |
170 |
</blockquote> |
</li> |
171 |
</UL> |
|
172 |
|
</ul> |
173 |
|
|
174 |
|
<h3>Reporting Bugs</h3> |
175 |
|
|
|
<H3>Reporting Bugs</H3> |
|
176 |
<ul> |
<ul> |
177 |
<li>Bugs can be reported online using our |
<li>Bugs can be reported online using our <a href="http://www.cs.princeton.edu/%7Eappel/smlnj/bugform.cgi"> |
178 |
<A HREF="http://www.cs.princeton.edu/~appel/smlnj/bugform.cgi">cgi bug form</A> |
cgi bug form</a> at Princeton. </li> |
179 |
at Princeton. |
<li>You can also submit bug reports by email to <a href="mailto:sml-bugs@research.bell-labs.com"> |
180 |
<li>You can also submit bug reports by email to |
sml-bugs@research.bell-labs.com</a> using the <a href="file:///home/sml/Doc/WWW/smlnj/bug-report-form"> |
181 |
<A HREF="mailto:sml-bugs@research.bell-labs.com">sml-bugs@research.bell-labs.com</A> |
bug report form</a>. </li> |
182 |
using the <A HREF="bug-report-form"> bug report form</A>. |
<li>The record of <a href="ftp://ftp.research.bell-labs.com/dist/smlnj/working/bugs"> |
183 |
<li>The record of <A HREF="ftp://ftp.research.bell-labs.com/dist/smlnj/working/bugs">currently known bugs and the bug history</a> |
currently known bugs and the bug history</a> for SML/NJ are available |
184 |
for SML/NJ are available via FTP. |
via FTP. </li> |
185 |
|
|
186 |
</ul> |
</ul> |
187 |
|
|
188 |
<H3><A HREF="links.html">Links</A></H3> |
<h3><a href="file:///home/sml/Doc/WWW/smlnj/links.html">Links</a></h3> |
189 |
|
|
190 |
<ul> |
<ul> |
191 |
<li>Pointers to programming resources (libraries, tools, example code), |
<li>Pointers to programming resources (libraries, tools, example code), |
192 |
projects using <B>SML/NJ</B>, other <B>SML</B> implementations, |
projects using <b>SML/NJ</b>, other <b>SML</b> implementations, related |
193 |
related compiler research work, and miscellaneous <B>SML</B> links. |
compiler research work, and miscellaneous <b>SML</b> links. The programming |
194 |
The programming resources links will soon move to a separate page |
resources links will soon move to a separate page of their own. </li> |
195 |
of their own. |
|
196 |
</ul> |
</ul> |
197 |
|
|
198 |
<H3><A HREF="people.html"> People</A></H3> |
<h3><a href="file:///home/sml/Doc/WWW/smlnj/people.html"> People</a></h3> |
199 |
|
|
200 |
<ul> |
<ul> |
201 |
<li>Picture of current cast of people involved in the project. |
<li>Picture of current cast of people involved in the project. </li> |
202 |
|
|
203 |
</ul> |
</ul> |
204 |
</blockquote> |
</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> |
|
|
</BODY> |
|
|
</HTML> |
|
205 |
|
|
206 |
|
<hr> Send your comments to <a href="mailto:sml-nj@research.bell-labs.com"> |
207 |
|
sml-nj@research.bell-labs.com</a><br> |
208 |
|
<font size="-3"> Copyright © 1996, <a href="http://www.lucent.com/"> |
209 |
|
Lucent Technologies; Bell Laboratories</a>. <br> |
210 |
|
</font> <br> |
211 |
|
|
212 |
|
<hr> <a href="http://sourceforge.net/"> <img src="sflogo.png" width="88" height="31" border="0" alt="SourceForge Logo"> |
213 |
|
</a> |
214 |
|
</body> |
215 |
|
</html> |