ML语言

（计算机科学技术）

ML语言（ML），计算机科学技术名词，由罗宾·米尔纳（Robin Milner）提出的一种严格的函数式程序设计语言，具有强多态类型。