functional-programming - 有哪些高质量的标准 ML 代码/项目可供学习?

标签 functional-programming sml smlnj

我正在尝试通过阅读其他人的代码或项目来学习编写优雅的标准机器学习代码。有人知道一些好的代码/项目吗?

最佳答案

我找到了MLton编译器是学习模块系统的一个很好的资源。

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

standardml github 帐户有许多质量参差不齐的项目。不知何故我的sml-ext图书馆就在那里。我不知道怎么办。

关于functional-programming - 有哪些高质量的标准 ML 代码/项目可供学习?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31249505/

相关文章:

haskell - 函数式编程新手

algorithm - Ocaml - 编写一个参数数量在运行时确定的函数

compiler-errors - SMLNJ错误: type constructor list given 0 arguments, wants 1

SML 警告 : Type Vars Not Generalized when using Empty Lists or NONE option

recursion - SML 中的模式匹配 - 将列表表示为 (x::y)

java - 如何使用 Java 8 流将字符串转换为 boolean[] 数组?

java - 函数式编程应用

sml - 依赖签名特化

printing - 标准ML打印控制字符

sml - 在 SML 中从十进制转换为二进制