Send Close Add comments: (status displays here)
Got it!  This site uses cookies. You consent to this by clicking on "Got it!" or by continuing to use this website.nbsp; Note: This appears on each machine/browser from which this site is accessed.
SML NJ


1. SML NJ
Standard ML of New JerseyThe most popular version of ML is Standard ML of New Jersey.

The SML NJ web site is at https://www.smlnj.org/ .

The NML NJ download site is at https://www.smlnj.org/dist/working/index.html as of 2019-08-16.

I finally got SML NJ to install and say it was complete, but could not get it to run.
The following commands might not be needed if CentOS 7 was installed with some of the compatibility libraries.

The following Linux command(s) install 32-bit support needed by SML NJ.
sudo yum -y install glibc-devel.i686 libgcc.i686 libstdc++-devel.i686 ncurses-devel.i686

The following Linux command(s) install SML NJ.
cd ~ wget http://smlnj.cs.uchicago.edu/dist/working/110.92/config.tgz tar -xxvf config.tgz sudo config/install.sh


2. Hello world in SML NJ
The file type of a SML NJ program file is sml.

The following Linux command(s) create/edit a hello program in the your home directory using the nano text editor.
nano ~/hello.sml

Create the following program text in the editor that will output the text "Hello world"
print "Hello world"

To exit with save, remember to press Ctrl-X, then "y" (for yes) and Enter to exit.

The following Linux command(s) run the program.

The output should be as follows.
Hello world


3. End of page