在 SML 获取问题上展平数据类型列表
[英]flatten a datatype list on SML getting problem
我有一个关于我的作业的问题，问题是 有使用数据类型： 嵌套列表由多态类型的元素或嵌套列表的列表组成。 以下是一些示例： 编写一个函数 flatten，它将嵌套列表作为输入并返回嵌套列表中所有元素的平面列表。 请注意，结果列表中的元素与嵌套列表中的元素顺序相同。 但我的代码是 有 ...
在子句中找不到函数参数错误：运算符不是函数
[英]can't find function arguments in clause Error: operator is not a function
我有这两个功能... 当我尝试编译时，出现标题中所述的错误。 为什么我不能像这样调用lessThan？ 当我从 sml 控制台运行它时：“lessThan (4,2) (3,2)”，我得到错误，这是正确的。 ...
为什么我不能围绕我的 addAll 函数调用简化？
[英]Why can't I call simplify around my addAll function?
我正在为家庭作业做这个作业，我已经被这个问题困住了大约 3 个小时。 我刚刚给教授发了电子邮件，但还没有收到他们的回复，所以我决定也在这里问一下。 我们被分配编写各种函数，例如找到格式 (14, 2) 中的分数的 gcd，其中 14 是分子，2 是分母。 我有函数 gcd、simple、add ...
需要编写一个“blendList”函数，除了“length”之外不使用任何内置函数
[英]Need to write a "blendList" function, without using any builtin functions besides 'length'
我正在尝试解决这个问题： 定义一个函数 它接受两个列表并返回一个列表，其中包含两个列表的“混合”，其中的值是从两个列表中严格交替选择的。 不要使用除length之外的任何内置标准 ML 函数。 一些例子： 我该怎么做呢？ ...
SML：计数节点
[英]SML: Counting nodes
我的任务是编写一个函数来计算二叉树的大小。 这是树结构的实现： 我的教授给了我这个模板： 我想知道我是否需要操纵它来同意我的树结构才能让它工作？ ...
如何查看 smlnj shell 中的所有列表项？
[英]How can I view all of the list items in the smlnj shell?
我有一个包含 365 个项目的列表，对应于一年中的天数。 我需要将我的结果与手动计算的结果进行比较，但我只能看到： 有没有办法在不编写辅助函数的情况下做到这一点？ ...
统计并打印 SML 中的匹配值
[英]Count and print matching values in SML
根据分配的参数，我不能使用模式或折叠，这是解决更大问题的特定方法的一个玩具示例。 当我运行代码时，我自然会得到一个“0”。 那么问题来了，如何获得 a_count 的最终值呢？ ...
在 SML 中使用模式匹配进行类型转换： fun f (typ : 'Z list option ) : 'Z list
[英]Using pattern matching to typecast in SML: fun f (typ : 'Z list option ) : 'Z list
根据标题，尝试从以下函数返回字符串列表： 终端反馈如下： hw2_1.sml:62.28-62.34 错误：运算符和操作数不一致 [循环] 运算符域：'Z * 'Z 列表操作数：'Z * 'Z 表达式中的选项列表：x :: xs' hw2_1.sml:61.5-62.34 错误 ...
标准 ML：使用 foldr 从 int 列表中创建字符串
[英]Standard ML: Using foldr to create a string out of int list
我正在尝试在标准 ML 中创建一个函数，以从 int 列表[1,2,3,4]创建一个字符串，使其看起来像"1, 2, 3, 4" 。 我设法创建的是一个函数，它可以通过迭代和转换为字符串并添加“，”来完成这项工作。 但由于我在每次迭代后连接逗号，逗号也会出现在字符串的末尾。 这是我的功能： ...
在标准机器学习中使用乘法和迭代的幂函数
[英]Power function using multiplication and iteration in Standard ML
我无法理解仅使用迭代和乘法在 SML 中实现幂函数的方法。 我的迭代如下： 而我的乘法基本上是递归迭代 幂函数基本上是相同基数相乘的迭代，但我不知道要递减哪个值 这绝对是错误的 ...
如何在SML中仅使用加法函数和迭代函数来制作乘法函数
[英]How to make a multiplication function using just addition function and iterate function in SML
我在 SML 中有两个函数add和iterate 。 fun add(x,y) = x + y fun iterate n f x = if n > 0 then iterate (n-1) f(f x) else x; 仅使用这两个函数，我如何编写一个multiply函数，例如，如果输 ...
用于 SML 阻塞正整数文字的 ANTLR4 语法
[英]ANTLR4 grammar for SML choking on positive integer literals
我正在使用 ANTLR 4.8 为 SML 构建一个解析器，由于某种原因，生成的解析器一直在整数文字上窒息： # CLASSPATH=bin ./scripts/grun SML expression -tree <<<'1' line 1:0 mismatched input ' ...
我们如何在 SML 中编写递归 function？
[英]How do we write Recursive function in SML?
这是我正在实现的递归 function 的 python 代码。 调用迭代器 我如何在 SML 中编写它？ ...
在标准 ML 中声明相互依赖的值和函数
[英]Declaring interdependent values and functions in Standard ML
您如何在标准 ML 中定义相互依赖的函数和值？ 以下程序： 不编译： 是否可以定义cmds和cmd_help以使它们彼此了解并且还作为顶级定义公开给程序的 rest？ ...
SML Create function 接收元组列表和返回列表以及每对的总和
[英]SML Create function receives list of tuples and return list with sum each pair
我正在研究标准 ML，我要做的一个练习是编写一个名为 opPairs 的 function，它接收一个 int 类型的元组列表，并返回一个包含每对总和的列表。 例子： 这些是我的尝试，没有编译： 尝试 1 尝试 2 ...
是否可以在标准 ML 中创建“通用”function？
[英]Is it possible to create a “generic” function in Standard ML?
我想创建一个 function remove_duplicates ，它采用任何类型的list （例如，可以是int list或bool list或int list list或whatever list ）并返回相同的列表而不重复，这在标准 ML 中是否可行? ...
如何在标准 ML 中构造一个只有一个元素的元组？
[英]How to construct a tuple with only one element in standard ML?
在标准 ML（Standard ML of New Jersey）中，我们使用以下语法来构造元组 但是我们不能只用一个元素来构造元组 另一方面，一个元素元组和元素本身似乎具有相同的类型签名。 我们可以在 SML 中区分'a和只有一个'a类型元素的元组吗？ 如果是这样，我们如何构造一个元素元组，它的 ...
标准 ML 可以表达数据类型的子类型吗？
[英]Can Standard ML express subtypes of datatypes?
有没有办法在 SML 中拥有数据类型的子datatype ，这样子类型将只涵盖datatype的一些构造函数？ 像这样的东西： ...