Standard ML是一门拥有类型推断和一些副作用的函数式编程语言。学习Standard ML的一些难点在于：递归、模式匹配和类型推断（猜测正确的类型但是决不允许隐式类型转换）。与Haskell的不同之处在于Standard ML拥有引用，允许对变量进行更新。

结构化查询语言(SQL)是一个ISO标准语言，用于创建和管理数据库，这种数据库存储一系列表。不同的实现通常会添加特有的语言扩展;[不同SQL实现的比较(Comparison of different SQL implementat-ions)]([链接])是一份很好的产品差异参考文档。

源代码下载： learn-latex-cn.tex {代码...} LaTeX 进阶The amazing LaTeX wikibook: [链接]An actual tutorial: [链接]有建议？或者发现什么错误？在Github上开一个issue，或者发起 pull request！原文由 Chaitanya Krishna Ande 编写，并由 3 个好心人 修改。Translated by:Dp Leo © 2022 Chaitanya Krishna Ande, Col...