通过 Emacs 评估 ghci 或 Hugs 中的缓冲区
在 Emacs 中使用 sml-mode，我已经能够使用 Cc Cb 将缓冲区内容直接发送到下级 SML 进程。现在我只想用 Haskell 做同样的事情。 Haskell 模式似乎不支…
在 SML/NJ 中使用列表/模式匹配
我在与 SML 中的列表进行模式匹配时遇到问题。我正在尝试创建一个函数，该函数采用 2x2 实数矩阵（定义为 'a list list）并创建复杂的 (real * real)…
通过函数签名递归解包列表
我正在尝试在 sml 中编写一个函数，它“解包”任意深度的嵌套列表。例如，解压 [[[1,2]]] 应该产生 [1,2]。我正在尝试类似的操作： fun unpack xs = i…
SML 中的递归匿名函数
是否可以在 SML 中编写递归匿名函数？我知道我可以使用 fun 语法，但我很好奇。 我已经写了，作为我想要的例子： val fact = fn n => case n of 0 => …
StandardML 中一组集合的类型冲突问题
我正在阅读在线书籍“计算类别理论”http:// /www.cs.man.ac.uk/~david/categories/book/book.pdf 我在本书中的问题 2.10 中遇到了一些问题。特别是幂…
简单的 SML 代码错误
我刚刚开始学习 SML，并且仍在理解其错误消息的过程中。 当尝试输入下面的函数定义时， val rec : real->real = fn 0.0 => 0.0 | n:real => 1.0/n; 我…
标准 ML，中缀标识符 错误代码
exception div; fun f(x,y) = let val before = 2.0 * x + 3.0 * y in (before + (1.0 / (if x > 0.0001 then x else raise div)) + 2.0 / y) handle …
Objective C 中的递归数据类型和类型
相关： Objective C 中的惰性数据类型 从相关问题中我能够弄清楚如何使用块对象来模拟暂停计算，但我仍在尝试掌握这个概念。对于horribleComputation…
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)…
SML - if 条件带有一些“或”
我想创建一个这样的 if 条件： if ((head(c) = 1) or (head(c) = ~1) or (head(c) = ~5) or (head(c) = ~17) or (head(c) = 0)) count +1 else.. 函数…
