StandardML 中一组集合的类型冲突问题
我正在阅读在线书籍“计算类别理论”http:// /www.cs.man.ac.uk/~david/categories/book/book.pdf 我在本书中的问题 2.10 中遇到了一些问题。特别是幂…
The Little ML'er - F# 的良好培训？
我想快速了解 F#，并且想知道“The Little ML'er”这本书是否会有帮助，因为 F# 基于 OCaml，而 OCaml 是 ML 的衍生物。或者，ML 与 F# 的区别是否太…
简单的 SML 代码错误
我刚刚开始学习 SML，并且仍在理解其错误消息的过程中。 当尝试输入下面的函数定义时， val rec : real->real = fn 0.0 => 0.0 | n:real => 1.0/n; 我…
最好使用“and”或“在”中当链接“let”时声明？
我意识到这可能是一个愚蠢的问题，但是... 如果我链接一堆 let 语句，这些语句不需要知道彼此的值，是不是更好使用and还是in？ 例如，如果有的话，其…
ml 数据类型（带有原始函数）如何制作？
我有这个数据类型 datatype e = X | Const of int | P of e*e | S of e*e | M of e*e | D of e*e; 和这个过程 val rec evl = fn (Const k)=>(fn x=>k)…
如何进行此 ml 程序
我有这样的代码： datatype 'a tree = Leaf of 'a | Node of 'a * 'a tree * 'a tree | Nil; val rec tree_sum = fn(f,e,Nil) => e | (f,e,Leaf(n)) =…
使用 XSLT 生成 Microsoft Word ML 时的输出问题
当我执行代码时，要复制节点及其属性，而不是复制所有节点属性， 例如 Microsoft Word ML 中的输入：- 当我运行代码时，输出将是 有一些缺失的属…
将 ML 风格的模块添加到 Haskell 的主要理论困难是什么？
众所周知，Haskell 风格的类型类和 ML 风格的模块提供了不同的机制来指定接口。它们的权力（可能）相当，但实际上每个都有自己的优点和缺点。 由于我…
一个非常基本的 SML 问题，我似乎无法弄清楚（小代码）
只是一个基本的卡萨密码。我已经测试了所有的子函数，只是 encryptChar() 不是特别有效。我得到一个无限循环。它应该是递归的。这是所有代码： fun re…
在 OCaml 中更改相同类型
假设我有一个函数 list_fun : int_list ->字符串列表，在该函数中，我使用定义为模块StringSet = Set.Make(String)的StringSet。我尝试让函数返回 Set…
关于无限类型的类型错误
我正在尝试纠正一个简单的函数来使用选择排序对列表进行排序，我的代码如下： fun slctsrt [] = [] | slctsrt (x::xs) = slctsrt2 (xs, x, []); fun s…
F# 中的类型或具有父 Number 的类型层次结构中是否有 AND？
我想定义一个整数和浮点数的列表，其中 [1,2.0] 应该是一个有效的结构。 F# 中的类型或类型层次结构中是否有 AND（例如从 Number 派生的 int 和 float…
