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

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