MLton 是一个针对标准 ML 编程语言的全程序优化编译器。MLton 利用未标记和未装箱的本机整数，实数和单词，未装箱的本机数组，基于 GMP 的