我使用的是 Mac OSX 10.7.5，但我似乎无法下载可用的 REPL 标准 ML 编译器。这应该有那么难吗？是否有我应该下载的最佳 ML。我试过 SML/NJ 和 MLton 无济于事。
问问题
8043 次
5 回答
8
Mac 用户也可以使用
$ brew install smlnj
添加类似于/usr/local/Cellar/smlnj/110.82/libexec/bin.bash_profile 的路径。
$ source ~/.bash_profile
有关更多信息，请参阅本文。
于 2018-01-14T06:18:29.063 回答
5
I did the following:
--download appropriate(for your operating system) .dmg file from http://www.smlnj.org/dist/working/110.75/
--in your ~/.bash_profile: export PATH="$PATH:/usr/local/smlnj-110.75/bin"
--run your bash_profile by doing source .bash_profile
--go to terminal and type sml.
I personally use sml mode for emacs. Add the following to your .emacs file and make sure that sml mode is installed in your emacs from M-list-packages.
(setenv "PATH" (concat "/usr/local/smlnj-110.75/bin:" (getenv "PATH")))
(setq exec-path (cons "/usr/local/smlnj-110.75/bin" exec-path))
You can start sml REPL in emacs by doing C-c C-s.
于 2013-09-26T14:05:28.290 回答
5
我从http://www.smlnj.org/dist/working/110.76/index.html下载了 Mac OS X 包的 SML/NJ 110.76
然后安装它，并在/usr/local/smlnj/bin/sml
于 2013-09-30T23:38:20.650 回答
1
您可以从http://mosml.org/尝试莫斯科 ML - 还有一个可用于 OS X 的mosml-2.10.1.pkg。莫斯科 ML 通常不如 SML/NJ 受欢迎，但有一个非常好的 REPL 可理解的错误消息。这是一个极好的学习环境。
于 2013-09-27T06:17:46.660 回答
-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
于 2013-10-08T19:31:24.257 回答