sml

Poly/ML 是一种与 ML97 标准兼容的 Standard ML 实现，以其快速的编译器、外部函数接口、线程库以及作为 Isabelle 和 HOL 等大型项目的首选实现而闻名。