CS 15-212: Fundamental Structures of Computer Science II

How to run MLWorks

MLWorks is an implementation of Standard ML compliant with The Definition of Standard ML - Revised. It also provides an X interface, tools for browsing and debugging, and an implementation of the ML Standard Library.

CMU has an MLWorks licsense only for the Sparc-5 and UltraSparc workstations.

• From a Sparc-5 or UltraSparc workstation running Solaris in an Andrew cluster:
  /afs/andrew.cmu.edu/scs/cs/15-212-ML/bin/mlworks &
• From any workstation running the X-window system:
  telnet sun4.andrew.cmu.edu
  Enter user id and password
  On your workstation:
  xhost + unixn.andrew.cmu.edu, where unixn is the server you were connected to.
  On the server:
  /afs/andrew.cmu.edu/scs/cs/15-212-ML/bin/mlworks &
  
• When you are not running X-windows (e.g. from inside a terminal or Emacs shell) you may telnet to one of the servers above and call
  /afs/andrew.cmu.edu/scs/cs/15-212-ML/bin/mlworks -tty &
  However, you will not get the benefits of the X environment of MLWorks.
• For evaluation or student copies of MLWorks, check Harlequin's MLWorks site.

If you have problems, please contact Doug Fearing.

SML/NJ for School and Home

Standard ML of New Jersey provides a free alternative implementation with only minor deviations from the revised definition and the standard library. However, it does not provide an X interface, browser, or other tools available with MLWorks.

• To use SML/NJ from Suns in an Andrew cluster, type:
  /usr/contributed/bin/sml
  It may become available as /usr/local/bin/sml for this and other platforms during the semester
• On Suns and other Unix machines, you may run the CS installation of SML/NJ with
  /afs/andrew/scs/cs/15-212-ML/bin/smlnj
  
• To use SML/NJ at home under Windows'95 or NT you can retrieve this self-installing .EXE (6.7MB). For other platforms follow the instructions at http://cm.bell-labs.com/cm/cs/what/smlnj/index.html.
• To add SML mode to Emacs, add the following line to your .emacs file:
  (load-file "/afs/andrew/scs/cs/15-212-ML/lib/emacs/init.el")

If you have problems, please contact Adam Megacz.

Local Guides

• Standard ML at Carnegie Mellon by Peter Lee and its
  • MLWorks and
  • Standard ML of New Jersey sections.
• MLWorks User's Manual (also in PostScript (817K) or PDF formats).
• MLWorks Reference Manual (also in PostScript (1.1MB) or PDF formats).

Supplementary Reading

• Introduction to SML by Robert Harper.

Principal SML'97 libraries

• Char
• String
• Int
• Real
• Math
• List
• TextIO
• Array