SML是Standard ML的缩写,这里的ML就是meta-Language,是一门比较古老的函数式编程语言,一般翻译为元语言(比什么牛马元宇宙资格老多了)。
最近对函数式编程感兴趣,正巧假期时间较多,准备阅读研究一下ML for the Working Programmer。而学习的开始就是搭建一个SML的开发环境。
Emacs这东西是Stallman写的编辑器。它的伟大之处无需我赘述——它甚至可以成为一个微型的系统而非一个单纯的软件。目前windows10版的Emacs可以通过安装助手安装。访问官网https://www.gnu.org/software/emacs/download.html#nonfree,进入http://ftp.gnu.org/gnu/emacs/windows/,找到最新版本。截至本文章发布,最近版本是27.2, 在http://ftp.gnu.org/gnu/emacs/windows/emacs-27/,找到
emacs-27.2-x86_64_installer.exe(根据你自己的机器架构)
然后下载了安装助手一路无脑next就完事了。
SML有若干版本,这里选择SML nj 版本,官网最新版http://www.smlnj.org/dist/working/110.99.2/index.html
下载msi后一路无脑next即可。
最后打开控制台,输入sml,若出现如下所示提示,即可认为安装成功。
sml-mode是emacs的一个插件,为sml代码提供高亮显示(也就是说没有它也不影响你写代码)。早期的sml-mode需要手动安装,现在可以直接使用emacs命令安装。
- Step 1
M-x list-packages
然后enter
M-x就是meta键和x键,在windows里就是Alt键和X键同时按。
输入此命令后emacs会列出所有的包,如下:
- Step 2
找到sml-mode:
我这里已经安装完毕,所以状态是installed,如果没装的话应该是available。点击蓝色的sml-mode:
没有安装的话Delete处显示的是install,点击就完事了,一键安装。
随便输入点代码,比如
可以看到代码高亮,证明安装成功。



