How do I install a working version of Standard ML on Mac?

Question

I\'m using Mac OSX 10.7.5 and I can\'t seem to get download a working Standard ML compiler with a REPL available. Is this supposed to be so difficult? Is there a best ML t

Answer 1

If you don't mind a somewhat big download using approx. 600 MB disk space, you can try Isabelle/ML. Isabelle is mainly a theorem proving environment, but it is based on Poly/ML including a reasonably IDE: Isabelle/jEdit.

To write SML in Isabelle/ML, it needs to be incorporated into theory sources like this:

theory Scratch
imports Main
begin

ML {* fun f 0 = 1 | f n = n * f (n - 1) *}

ML {* f 42 *}

end