Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /pages/trunk/smlnj.html
ViewVC logotype

Annotation of /pages/trunk/smlnj.html

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1292 - (view) (download) (as text)

1 : macqueen 953 <!-- Copyright (c) 1996 Lucent Technologies; Bell Laboratories -->
2 :     <!-- Changed by: John Reppy, 19-Dec-1997 -->
3 :     <!-- Changed by: Lal George, 5-Dec-1996 -->
4 :    
5 :     <HTML>
6 :     <TITLE>SML/NJ background information</TITLE>
7 :     <BODY BGCOLOR="ffffff">
8 :     <H1>What is Standard ML of New Jersey?</H1>
9 :     <HR>
10 :    
11 :     <blockquote>
12 :     <STRONG>Standard ML of New Jersey</STRONG> (SML/NJ) is a compiler and
13 :     programming environment for the <A HREF="sml.html"><I>Standard
14 :     ML</I></A> programming language. It was originally developed jointly
15 :     at Bell Laboratories and <A
16 :     HREF="http://www.cs.princeton.edu/">Princeton University</A>, and is
17 :     now a joint project between researchers at <A
18 :     HREF="http://cm.bell-labs.com/">Bell Laboratories</A> (<A
19 :     HREF="http://www.lucent.com/">Lucent Technologies</A>), <A
20 :     HREF="http://www.cs.princeton.edu/">Princeton University</A>, <A
21 :     HREF="http://www.cs.yale.edu/">Yale University</A>
22 :     (<A HREF="http://flint.cs.yale.edu/">The FLINT Project</A>), and <A
23 :     HREF="http://www.research.att.com/">AT&amp;T Research</A>.
24 :     <p>
25 :     The current release of SML/NJ is
26 :     <a href="NEWS/110-README.html">Version 110</a>,
27 :     which implements the
28 :     <a href="sml97.html">SML '97</a>
29 :     revision of the Standard ML language, including the new
30 :     <a href="doc/basis/index.html">Standard Basis</a>
31 :     library.
32 :     <p>
33 :     <STRONG>SML/NJ</STRONG> is distributed free of charge with source
34 :     code, but with no warranty. You may use, copy, modify, and distribute
35 :     the software provided that you preserve the copyright notice and don't
36 :     mention Bell Labs or Lucent Technologies in your advertising without
37 :     prior written agreement; see the <A HREF="license.html">license and
38 :     copyright notice</A> for details.
39 :     <p>
40 :     Standard ML of New Jersey is written in Standard ML (except for the
41 :     runtime system, which is written in C). SML/NJ has been used to
42 :     implement a significant number of large systems, mainly in the
43 :     fields of applied logic and verification (HOL 90, Isabelle, Step),
44 :     and program analysis and advanced compilers. See Andrew Appel's
45 :     <A HREF="http://www.cs.princeton.edu/~appel/smlnj/projects.html">
46 :     projects page</A>.
47 :     <p>
48 :     Here is a summary of some of the major features of the SML/NJ system.
49 :     <UL>
50 :     <LI>The core of the SML/NJ system is an agressively optimizing compiler
51 :     that produces native machine code for most commonly used
52 :     architectures: x86 (IA32), Sparc, MIPS, IBM Power 1 (PowerPC), HPPA, and Alpha.
53 :     <p>
54 :     <LI>SML/NJ runs under Windows 95 and NT as well as many flavors of
55 :     Unix. Renewed support for MacOS is planned for the next release.
56 :     <p>
57 :     <LI>SML/NJ provides an interactive top level based on incremental compilation,
58 :     but it can produce stand-alone executables using the exportFn function.
59 :     <p>
60 :     <LI>SML/NJ uses Matthias Blume's <em>Compilation Manager</em>,
61 :     <A HREF="doc/CM/index.html">CM</A>,
62 :     to greatly simplify the development of large software projects.
63 :     <p>
64 :     <LI>A variety of general-purpose data structures, algorithms
65 :     and utilities (such as finite sets and maps, regular expressions,
66 :     pretty-printing) are provided by the
67 :     <A HREF="doc/smlnj-lib/index.html">
68 :     SML/NJ library</A>.
69 :     <p>
70 :     <LI>Concurrent programming in SML is supported by the
71 :     <a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/cml/index.html">
72 :     <em>Concurrent ML</em></a>
73 :     library.
74 :     <p>
75 :     <LI>
76 :     <a href="http://cm.bell-labs.com/cm/cs/who/jhr/sml/eXene/index.html">
77 :     <em>eXene</em></a> is a graphical interface toolkit for X-windows based on
78 :     Concurrent ML.
79 :     <p>
80 :     <LI>SML/NJ extends the SML '97 language with
81 :     higher-order functors, OR-patterns, first-class continuations,
82 :     and a number of other useful <a href="doc/features.html">features</a>.
83 :     <p>
84 :     <LI>Support for manipulating "object languages" (e.g. logics, calculi,
85 :     simple programming languages, specification languages) is provided by
86 :     a simple <a href="doc/quote.html">quote/anitquote</a> mechanism.
87 :     </UL>
88 :    
89 :     </blockquote>
90 :     <p>
91 :     <HR>
92 :     <CENTER><STRONG>
93 :     | <A HREF="index.html">SML/NJ Home Page</A> |
94 :     </STRONG></CENTER>
95 :     <HR>
96 : mblume 1292 Send your comments to <img src="smlnj-list-logo.jpg" align=center><br>
97 : macqueen 953 <FONT SIZE="-3">
98 :     Copyright &#169; 1996,
99 :     <A HREF="http://www.lucent.com/">Lucent Technologies; Bell Laboratories</A>.
100 :     <BR>
101 :     </FONT>
102 :     </BODY>
103 :     </HTML>

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0