有哪些高质量的标准ML代码/项目需要学习？

Question

我正在努力学习通过阅读他人的代码或项目来编写优雅的标准ML代码。有谁知道一些好的代码/项目？

Answer 1

我发现MLton编译器是学习模块系统的重要来源。

Twelf theorem prover也有很多高质量的例子。

standardml github帐户有许多不同质量的项目。不知怎的，我的sml-ext图书馆就此结束了。我不确定如何。