
The 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
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