SML学习笔记03-函数 参考：CMU 15-150 Lecture02 1 函数的应用 1.1 函数的类型检查 一个 lambda 表达式 (fn (x:int) => body) : t1 -> t2 其类型是 \(t1\rightarrow t2\) 当 body : t2 且 x : t1 注意： 参数 \(x\) 的类型很重要，不能被省略 举个例子：若函数体 body 2022-04-24 SML语言学习笔记
SML学习笔记02-求值，类型，绑定与范围 参考：CMU 15-150 Lecture01 1 SML语言哲学 计算是函数式的 编程是一个阐明的过程 1.1 计算是函数式的 所有的计算都可以看成是函数式的 函数将值（等号左侧的值）映射到另一个值上（等号右侧的值） 1.1.1 指令式编程与函数式编程的区别 指令式编程： 命令 -> 被执行，并且产生一个影响 -> 该影响即是一个状态：变量 2022-04-08 SML语言学习笔记
SML学习笔记01-Windows下SML环境的安装 Windows下SML环境的安装 本博客所有程序示例均在 SML/NJ 环境下进行 下载及安装 前往 SML/NJ 的项目主页进行下载：SML/NJ 官网 找到最新版对应的 Windows 版（本博客均采用 32-bit v110.99.2 版），下载其 .msi 文件。下载完成双击安装即可。 测试 运行命令提示符，输入sml。若未出现 1'sml' 不 2022-04-08 SML语言学习笔记