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

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