我们从看看一些影响了LCF/ML设计的语言开始.
Lisp是Stanford LCF项目所使用的语言, 该项目是Milner来Edinburgh之前和Richard Weyhrauch以及Malcolm Newey一道建立的. Lisp对于所有ML设计的参与者而言都是很熟悉的, 在当时它是符号计算事实上的标准语言. Lisp是一个函数式语言, 其可以将函数视为数据操作, 尽管其作为函数式语言的行为因动态绑定的使用而存在缺陷.
类似于ISWIM, LCF/ML的核心是一个按值调用的应用性语言, 其基本表达式通过函数应用进行复合.