标准ML是一种带有类型推断的高级函数语言。
我正在尝试从 Giraffe Library 网站编译 GTK 3 Hello World 示例。 我从源安装了 Poly/ML 5.9.1，为 Poly 可执行文件设置了 PATH，为库设置了 LD_LIBRARY_PATH...
我非常喜欢在大学学习机器学习。 我发现函数式编程通常是编写某些算法的一种令人耳目一新的优雅方式。 我听说过 F# 并尝试过它。 尽管如此，我还是
我的计划： val a = chr 65 : 字符 val b = Char.chr 65: 字符 val _ = print (Char.toString a) val _ = print (Char.toString b) 输出： AA 第 1 行和第 2 行显示 chr 和 Char.chr 均有效。 有没有
为什么这一行标准 ML 代码中需要分号：Int.toString 5？
我有一个文件 foo.sml，其中包含一行标准 ML 代码： 整数到字符串 5 这在 SML/NJ 中运行良好，但在 MLton 中则不然： $ 猫 foo.sml 整数到字符串 5 $ 小毫升 < foo.sml Standard ML of New Jersey (...
我目前正在学习有关编程语言的课程，并试图解决以下问题，给定 SML 语法中的代码，假设 SML 使用动态作用域，...的值是多少？
如何将用户定义的 sml 数据类型分配为整数（字符串）数据类型？
我的问题是我正在尝试创建自己的数据类型，但我不能在属于数据类型的项目的命名约定中使用整数 数据类型 psu = 350w | 450瓦| 550瓦| ... ETC; 错误
在 ML 中，如何在 String.tokens 函数的输出中保留分隔符？
这里是tokens函数的基本实现： 有趣的 f c = c = #" "; val testStr = "int main(){return 42;}"; val stringL = String.tokens f testStr; 它返回： val 字符串...
这些返回类型有什么不同？ val fn1 : int -> (int -> (int -> int)) val fn2: (int -> int) -> (int -> int) 这创建了一个类型的函数 整数 -> 整数 -> ...
我是函数式编程新手，我有一个任务来计算列表的部分和。 例如。 - psum [1,1,1,1,1]； val it = [1,2,3,4,5] : 整数列表 这是到目前为止我的代码。然而在功能上
创建二叉树的实例（Robert Harper 的编程标准 ML）
在 Robert Harper 的在线书籍（编程标准 ML，第 88 页）中，我们对二叉树有以下定义： 数据类型'一棵树= 叶子 | 'a 分支 * 'a 分支的节点 和'一个分支...
有趣的反向 ( [] ) = ( [] ) |反向 (x::xs) = 反向 (xs) :: [x] 为什么我的这个反转列表的功能不起作用
有人可以帮我理解SML中的List.nth吗？ 它输出列表中的指定元素。 A） List.nth([7,3,6,1],0); val it = 7 : 整数 b) List.nth([7,3,6,1],1); val it = 3 : int 为了考试...
我正在使用 SML 进行编程。我的函数接受一个整数，然后用逗号将其拼接到一个列表中。例如数字 12345 -> [1,2.3,4,5]。我的问题是如何使我的代码更加模块化。我...
标准机器学习中的函子与模块系统相关，可以基于其他结构生成结构。给出了一个为各种类型的列表生成列表组合器的函子示例
我正在编写一个程序，它接受 int 列表并返回它们的交替和的值。 输入：[1,2,3,4] 输出：1+(-2)+3+(-4) 下面是我尝试为此编写的代码，但是...
我正在尝试使用 SML 执行以下操作： 打印 2 个整数的元组，第一个是数字 1-50，第二个是 1（这是我到目前为止所拥有的）： val nextInt = Random.randRange (1,50);...
这是一个函数，它接受一个对列表并返回对中第一个对象的列表。 有趣的秒（对：（a * b）列表）：b列表= 让 首先有趣（对：a * b）：a = fst p...
对于资深程序员来说，如何在 VScode 中安装并运行 SML 语言？语法高亮和解释。 谢谢您的宝贵时间
有人可以教我 let-val-in-end 情况下的递归是什么样的吗？我很难理解这个过程，即循环的崩溃 [SML] 示例： “c”的行为如何...