数据类型问题中的标准 ml 函数
我必须创建一个有关 peano 数的函数，定义为以下数据类型： datatype 'a peano = P of ('a -> 'a) * 'a -> 'a val zero = P(fn (f, x) => x) 我…
在 ML(SMLNJ) 中打开文件
我需要读取 ML (SLMNJ) 中的文件并将其保存在某些结构中。我需要读取一些指向图形声明的数据：（ [( 1 , 2 , 13 ),( 2 , 3 , 3 ),( 2 , 4 , 8 ),( 2 ,…
推断类型似乎检测到无限循环，但到底发生了什么？
在 Andrew Koenig 的关于 ML 类型推断的轶事中，作者使用合并排序的实现作为机器学习的学习练习，并很高兴发现一个“不正确”的结果类型推断。 令我惊…
该标准 ML 代码到底有什么作用？
我正在阅读 Chris Okasaki 的纯函数式数据结构，其中有一个示例我遇到了麻烦。它位于此处。特别是，我不明白 rotate 和 exec 函数是如何工作的： fun …
在纯函数 ML 中进行 N 维行走？
这个想法是遍历多个维度，每个维度都定义为一个范围 (* lower_bound, upper_bound, number_of_steps *) type range = real * real * int ，因此功能类…
SML 和 OCaml 有什么区别？
Closed. This question needs to be more focused. It is not currently accepting answers. 想要改进这个问题吗？通过编辑这篇文章来更新问题，使其…
理解类型错误：“预期签名 Int*Int->Int 但得到 Int*Int->Int”
对 Steve Yegge 的 帖子 关于 服务器端 Javascript 开始讨论语言中类型系统的优点，这个评论 描述： ...来自 HM 风格系统的示例，您可以在其中获得以…
