咱家实在是记忆力差，几个快捷键先暂且记录下来：

Ctrl + x + c 退出 Emacs

Ctrl + x + f 打开文件

Ctrl + x + s 保存文件

Ctrl + c + s 打开 sml repl 如果打开 sml repl 的时候报找不到 sml， 修改 ~/.emacs 在顶上添加两行

(setenv "PATH" (concat "/usr/local/smlnj-110.75/bin:" (getenv "PATH")))

(setq exec-path (cons "/usr/local/smlnj-110.75/bin" exec-path))

虽然我对 emacs 配置的这一个个 function 不熟， 但咱也多少看得懂一点 lisp 语法， 这不就是把 PATH 环境变量 append 一个 smlnj 的 bin 路径， 再把 exec-path append 一个 smlnj 的 bin 路径嘛

进入 sml repl 后， 引入一个文件用 use， 别忘了以分号结尾

use "first.sml";

---

关于表达式（expression），有三个重要的问题：

1. 语法（Syntax）
2. 类型检查规则（Type-checking rules）
3. 计算表达式的值的规则（Evaluation rules）