本文介绍了SML编程语言的基本语法，包括变量绑定的类型检查与计算步骤、表达式规则、REPL环境、错误处理以及函数定义与调用。此外，还讲解了列表、元组、选项类型和逻辑运算符的使用，强调了SML中不可变性的优点。
Programming Languages PartA Week2学习笔记——SML基本语法
首先简单介绍使用的SML语言，参考维基百科和百度百科：
ML（Meta Language：元语言）是由爱丁堡大学的Robin Milner及他人在二十世纪七十年代晚期开发的一个函数式、指令式的通用的编程语言，它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式的类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。
ML提供了对函数实际参数的模式匹配、垃圾回收、指令式编程、传值调用和柯里化。它被大量的用于编程语言研究之中，并且是全面规定了的和使用形式语义验证了的少数语言之一。它的类型和模式匹配使得它非常适合并且经常用于在其他形式语言上进行操作，比如在编译器构造、自动化定理证明和形式验证中。
Standard ML（SML），是一个函数式、指令式、模块化的通用的编程语言，具有编译时间类型检查和类型推论。它流行于编译器作者和编程语言研究者和自动定理证明研究者之中。
Standard ML是ML的现代方言，ML是用于
最低0.47元/天 解锁文章
扫一扫
3943
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
