CS 15-212: Fundamental Structures of Computer Science II

Language and Programming Environment

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-X/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-X/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-X/bin/mlworks -tty &
However, you will not get the benefits of the X environment of MLWorks.

If you have problems, please contact Herb Derby.

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 a Sparc-5, UltraSparc or Dec Alpha in an Andrew cluster, type:
/afs/andrew/scs/cs/15-212-X/bin/sml
To use SML/NJ at home on your PC running Windows '95 or Windows NT 4.0: Download SML/NJ for PC and follow the instructions at Bell Labs. If you have problems getting SML/NJ from CMU, Bell Labs has a copy.
To add SML mode to emacs, add the following line to your .emacs file:
(load-file "/afs/andrew/scs/cs/15-212-X/lib/emacs/sml/init.el")

If you have problems, please contact Herb Derby.