我正在使用Mac OSX 10.7.5，我似乎无法下载一个可用的REPL工作标准ML编译器。这应该是如此困难吗？我应该下载最好的ML吗？我试过SML / NJ和MLton无济于事。
答案 0 :(得分：4)
我做了以下事情：
- 从http://www.smlnj.org/dist/working/110.75/
下载适当的（适用于您的操作系统）.dmg文件- 在你的〜/ .bash_profile中：export PATH =“$ PATH：/usr/local/smlnj-110.75/bin”
- 通过执行源.bash_profile
运行您的bash_profile- 转到终端并输入sml。
我个人使用sml模式进行emacs。将以下内容添加到.emacs文件中，并确保在M-list-packages的emacs中安装了sml模式。
（setenv“PATH”（concat“/usr/local/smlnj-110.75/bin：”（getenv“PATH”）））
（setq exec-path（cons“/usr/local/smlnj-110.75/bin”exec-path））
您可以通过执行C-c C-s在emacs中启动sml REPL。
答案 1 :(得分：4)
我从http://www.smlnj.org/dist/working/110.76/index.html
下载了适用于Mac OS X软件包的SML / NJ 110.76然后安装它，并在/usr/local/smlnj/bin/sml
答案 2 :(得分：4)
Mac用户也可以使用
$ brew install smlnj
将类似于/usr/local/Cellar/smlnj/110.82/libexec/bin的路径添加到.bash_profile。
$ source ~/.bash_profile
有关详细信息，请参阅this article。
答案 3 :(得分：1)
你可以从http://mosml.org/尝试莫斯科ML - OS X也有一个mosml-2.10.1.pkg。莫斯科ML通常不如SML / NJ受欢迎，但有一个非常好的REPL和可理解的错误信息。这是一个很好的学习环境。
答案 4 :(得分：-1)
如果你不介意使用约。 600 MB磁盘空间，你可以尝试Isabelle / ML。 Isabelle主要是一个定理证明环境，但它基于Poly / ML，包括一个合理的IDE：Isabelle / jEdit。
要在Isabelle / ML中编写SML，需要将其纳入这样的理论来源：
theory Scratch
imports Main
begin
ML {* fun f 0 = 1 | f n = n * f (n - 1) *}
ML {* f 42 *}
end