本教程在Windows环境下操作
Emacs的下载安装
直接进入官网(https://www.gnu.org/software/emacs/)下载需要的版本的zip文件,无需安装,直接解压至想要安装的位置即可。由于直接打开emacs.exe会同时打开一个命令窗口,可以使用bin目录下的runemacs.exe作为快捷方式。
SML的下载安装
官网链接(http://www.smlnj.org/dist/working/110.80/)选择需要的版本,直接下载安装。在cmd终端运行sml出现版本信息代表安装成功。
Emacs中安装sml模块
Emacs中的sml-mode可以在Emacs中编辑和运行SML。首先打开安装好的Emacs,首页有一些关于Emacs的使用指南可供学习,此处我们需要了解的是在普通的Windows键盘下,Emacs的快捷键C指的是Ctrl键,M指的是Alt键。
在上图中红色箭头指示的区域运行如下命令 (Enter键运行)打开可用的安装包目录,从中找到sml-mode
M-x list-packages
也可以运行命令 C-s sml 搜索 sml-mode;
直接点击安装。
为了确保 sml-mode 正确安装,我们可以采用一下方式试运行进行测试。首先,运行 C-x C-f test.sml 新建一个 sml测试文件,接下来运行 M-x sml-mode 将模式切换为 sml-mode,可以观察到 Emacs窗口底部的模式从 Fundamental 转变为 SML;
C-x C-f test.sml
M-x sml-mode
在 test.sml文件中输入一行代码 val n = 1,可以观察到关键字和变量名有不同的颜色显示
接下来,我们可以运行命令 C-c C-s分割窗口并在新的缓冲区中创建SML提示,可以输入 1+1;点击 Enter,可以得到2
输入 C-d可以退出 sml-mode