标准ML（SML；"标准元语言"）是一种通用的、模块化的、具有编译时类型检查和类型推理功能...
在计算机科学中，函数式编程是一种编程范式，程序是通过应用和组合函数来构建的。它是一种声明式...
编译器是将高层次（更适合人类阅读）的编程语言翻译成低层次语言（如机器码）的软件。处理器执行...
Lua是一种用C语言编写的编程语言，强调性能。它具有自动内存管理功能，经常被用来扩展用其他...
MLton资源库
Moscow ML是Standard ML (SML)的轻量级实现，这是一种广泛用于教学和研究的严格的函数式语言。
标准ML编译器和工具箱
用于并行ML的MaPLe编译器
用于标准ML库和程序的通用包管理器
一个能产生Lua/JavaScript的标准ML编译器
TiML:一种具有时间复杂性的函数式编程语言