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语言学习笔记