expression (computer science)

Language：元语言），是一个函数式、指令式的通用的编程语言，它著称于使用了多态的Hindley–Milner类型推论。ML能自动的指定多数表达式（英语：Expression (computer science)）的类型，不要求显式的类型标注，而且能够确保类型安全，已经正式证明了有良好类型的ML程序不会导致运行时间类型错误。

Rivka Adar, Ehud Shapiro. An autonomous molecular computer for logical control of gene expression. Nature. 2004/05, 429 (6990): 423–429 [2018-04-02]

programming），是一种编程范型，它将电脑运算视为函数运算，并且避免使用程式状态（英语：State (computer science)）以及可變物件。 在函数式编程中，函数是头等对象即头等函数，这意味着一个函数，既可以作为其它函数的输入参数值，也可以从函数中返回值，

（英語）.  引文格式1维护：未识别语文类型 (link) Jaffer, Aubrey. SCM manual (PDF). MIT Computer Science and Artificial Intelligence Laboratory. Massachusetts Institute of

involved in teaching computer science at degree level: it will convince them that inside computer science there really is a true science trying to get out