Accessing SML at UW CSE
Standard ML is available on several platforms in our department.
Linux
SML is available on the instructional Linux machines (e.g., attu)
as well as the research Linux machines (e.g., recycle, bicycle, tricycle). Just make sure
/usr/bin is in your path. To run the SML interpreter, type
sml in a shell. To load a bunch of functions from a file
myfile.sml into the interpreter, type use
"myfile.sml"; at the interpreter prompt. Use ctrl-d to
exit the interpreter.
Solaris
SML is available on the research Solaris machines
(e.g., demille, fielder, tolt, elwha, chiwawa). Just add
/cse/courses/misc_lang/solaris/sml/bin to your path. To
run the SML interpreter, type sml
in a shell. To load a bunch of functions from a file myfile.sml
into the interpreter, type use "myfile.sml"; at the interpreter
prompt. Use ctrl-d to exit the interpreter.
Windows
SML is available on the Windows machines
in the instructional labs. You can find and run the
SML interpreter from the START menu
via the path All Programs > Standard ML of New Jersey 110.0.7 >
Standard ML of New Jersey 110.0.7.
To load a bunch of functions from a file c:\myfile.sml
into the interpreter, type use "c:\myfile.sml"; at the interpreter
prompt. (It's simplest to use absolute path names for files, since it's
not obvious what the working directory of the SML program is.) Use ctrl-z to exit the interpreter.
Don't like these options?
Download
SML yourself!