使用析构函数的 SML 可以删除 INT0 LPAREN
[英]SML using destructors gives deleting INT0 LPAREN
以下 function 正在使用模式匹配。 我想用if-else写这个。 我的这个 function 工作正常： 但我想使用#0和#1析构函数（作为一项任务）。 以下function 给出以下错误： 我不知道错误意味着什么以及如何解决它。 ...
带元组的 let-in 表达式的求值顺序
[英]Evaluation order of let-in expressions with tuples
我关于 ML 的旧笔记是这样说的 是语法糖 然后 相当于 在哪里每个 （带或不带下标）代表一个变量， 每个 （有或没有下标或上标）代表一个术语，并且 fst和snd分别传递一对中的第一个和第二个组件。 我想知道我是否得到了正确的评估顺序，因为我没有注意到原始参考。 任何人都可以（（确认或拒绝）和（提 ...
将数字转换为 nat 形式时出现 SML 递归类型错误
[英]SML recursive type error when converting numbers to nat form
我正在练习 SML 并得到以下递归类型错误。 ML 是否抱怨类型递归并需要一些类型提示？ 我很迷惑。 错误：Standard ML of New Jersey v110.79 [built: Sat Oct 26 12:27:04 2019] [opening lambda.sml] dataty ...
Poly/ML 的 RunCall 结构
[英]RunCall structure of Poly/ML
我正在阅读 Isabelle 的源代码，而我并没有一般的编程经验。 我发现使用 Poly/ML 基础库的RunCall结构（例如在src/Pure/Concurrent/thread_attributes.ML中操作线程标志）。 我查阅了RunCall 的 Poly/ML basis library ...
两个不同大小列表的柯里化和求和
[英]Currying and summation of two lists of varying size
我正在自学 SML，目前坚持使用两个不同大小列表之间的递归概念。 假设您有两个不同大小的 int 列表，以及一个将两个数字相乘的 function，如下所示： 我想使用这个 function 作为参数传递给另一个 function，它递归地乘以同一索引中的数字，直到至少一个列表为空。 所以 将使用m ...
为什么 SML 无法识别某些类型，除非我将其放入变量中？
[英]Why does SML not recognize certain types unless I put it in a variable?
我有以下类型： 我正在尝试创建一个接受此类型的 function（简化示例）： 但是当我像这样用 TupleP 调用它时会出错： 错误： 但是，如果我将此 TupleP 类型设置为一个变量并使用该变量调用它，我就能获得预期的结果。 谁能告诉我为什么会这样？ ...
如何编写类型为 ('a * 'b -> 'b) -> 'a list -> 'b -> 'b 的 function
[英]How to write a function of type ('a * 'b -> 'b) -> 'a list -> 'b -> 'b
我是标准 ML 的新手。 我知道 如何修改以将类型更改为 ('a * 'b -> 'b) -> 'a list -> 'b -> 'b？ ...
无法访问双列表 sml 中的 int 值
[英]Can't access the value of int in a double list sml
我无法在双列表中访问 int*int 的值 我输入的例子 我想打印第二个值2 ...
将两个“列表”的两个值相互比较并计算值匹配的实例
[英]Compare two values of two "lists" against each other and count instances where values match
首先，让我分享一下，我是正式编程的完全新手，在从管理方面从事 IT 多年工作后，我决定开始学习。 所以我从头开始，希望能改掉我多年来养成的任何坏习惯。 为了帮助自己摆脱困境，我开始了一个有一些家庭作业的在线课程。 我向自己保证不会作弊，但我正在努力解决这个问题并需要一些帮助。 我确实看到一个类似的帖 ...
SML 结构中定义的函数导致“结构中的值类型与签名规范不匹配”
[英]Defined functions in structures in SML results in "value type in structure does not match signature spec"
自从我使用 SML 编程以来已经有一段时间了，现在我被困在一个对我来说非常简单的问题上。 我正在定义一个datatype 然后我定义一个signature如下 实现该signature的structure看起来像这样 最终会产生以下错误，我不明白为什么 如果我改为如下定义结构 一切顺利。 我在这里 ...
为什么使用这些重载运算符定义一个 function 没有错误？
[英]Why is there no error when defining a function using these overloaded operators?
我正在阅读 Colin Myers、Chris Clack 和 Ellen Poon 的Programming with Standard ML 。 在 § 2.4.1受限多态函数中： 与运算符=和<>不同，其他比较运算符（ > 、 <等）被重载； 它们不是受限多态的，因此 ...
一对列表中的 SML 计数
[英]SML counting within a pair of lists
我正在尝试在 SML 中编写一个包含一对列表的 function。 该对中的第一个列表是整数列表，第二个列表是布尔值列表。 例如：(([3, 5, 9], [true, false, false]))。 我无法使用正确的语法来返回在第二个列表中找到多少次“真”。 ...
SML/NJ 中的列表列表给定一个列表并希望满足一个条件。 我遇到问题：“'a”类型的表达式不能有“'a list”类型
[英]List of lists in SML/NJ given a list and wanting to satisfy a condition. I get problem: An expression of type "'a" cannot have type "'a list"
我们有一个诸如 [1,2,7,5,3,2,8,9] 之类的列表，我们希望创建一个列表，其中包含这些数字的组列表，以便每个组的数字没有递减顺序. 例如对于上面的列表，答案是 [[1,2,7],[5],[3],[2],[8,9]] 因为 1<2<7（一组，没有降序） [5],[3] 不同的组 ...
为什么 OCaml 成功地将 'a list 与 int list 匹配，而 Standard ML 却无法做到这一点？
[英]Why does OCaml succeed in matching 'a list with int list, while Standard ML fails to do so?
在 OCaml 中， let f (x: 'a): 'a list = x:: [0]具有签名val f: int -> int list 。 当我尝试在标准 ML 中定义类似的 function 时， fun f (x: 'a): 'a list = x:: [0]出现错误。 SML/新 ...
SML 返回相同的元组
[英]SML returns the same tuples
我目前正在学习标准 ML，只是为了好玩； 我想要做的是生成一个 1 到 100 之间随机整数的三元组列表。我的代码： 但是，当我评估 我的 output 是： 我不太明白我在这里做错了什么。 任何帮助将不胜感激。 ...
Curried function 根据自己的部分应用定义
[英]Curried function defined in terms of its own partial application
以下 SML 代码取自华盛顿大学课程的家庭作业。 （具体来说，它是提供的代码的一部分，以便学生可以使用它来完成课程网页上列出的家庭作业 3。）我不是在这里寻求家庭作业帮助——我想我明白代码在说什么。 我不太明白的是，如何允许根据自己的部分应用来定义咖喱 function。 function 绑定 ...
SML 中的多态函数和类型推断
[英]Polymorphic functions and type inference in SML
考虑标准 ML 中的 function。 REPL 显示times_until_zero的类型为(int -> int) * int -> int 。 但是为什么不是类型('a -> int) * int -> int ？ 从 function 定义中我所能看到的只是x必须 ...
如果使用更改的变量应用了新的函数声明，则标准 ML 中的变量会更改
[英]Variables in Standard ML change if a new function declaration,was apllied by using the changed variable
请参阅下面的代码，我在其中尝试了已声明的变量 x 在新绑定后如何作用，然后在函数声明中使用。 为什么会这样？ ...
PolyML 顶层的报价机制
[英]Quotation mechanism for PolyML top level
对于各种玩具项目，我希望能够将对象语言嵌入到 PolyML 顶层，例如 HOL 的反引号语法，其中反引号之间的表达式由自定义解析器解析。 我不介意特定的定界语法：反引号 `...`、guillemets <<...>> 或类似 {|...|} 的东西。 我只想能够在顶层编写 ...