ML（Meta Language：元语言），是一个函数式、指令式的通用的编程语言，它著称于使用了多态的Hindley–Milner类型推论 。ML能自动的指定多数表达式（英语：Expression (computer … 詳細

不同于纯函数式编程语言，ML是兼具一些指令式特征的函数式编程语言。ML的特征包括：传值调用的求值策略，头等函数，带有垃圾收集的自动内存管理，参数多态，静态类型，类型推论，代数数据类型，模式匹配和例外处理。不同于Haskell，ML与大多数编程语言一样使用 詳細

下列例子使用了Standard ML的语法和语义。
素数
下面是求素数的试除法实现：
基本库find和exists函数 … 詳細

在1970年代早期，ML由爱丁堡大学的罗宾·米尔纳及他人研制出来 ，用于在LCF（英语：Logic for Computable Functions）定理证明器中开发证明策略 … 詳細

ML代码片段很容易通过将其录入到“顶层”来研习，它也叫作读取﹣求值﹣输出循环或REPL。这是打印结果或定义的表达式的推论类型的交互式会话。很多SML实现提供交互式REPL，比如 詳細

模块是ML用于构造大型项目和库的系统。
模块
一个模块构成自一个签名（signature）文件和一个或多个结构文件 … 詳細

• Standard ML和它的实现：
• OCaml，由法国国家信息与自动化研究所（INRIA）维护，是一个“工业强度”的ML方言 ，演化自最初用来实现 詳細