新泽西标准ML(SML / NJ)
我非常喜欢在大学学习机器学习。 我发现函数式编程通常是编写某些算法的一种令人耳目一新的优雅方式。 我听说过 F# 并尝试过它。 尽管如此,我还是
为什么这一行标准 ML 代码中需要分号:Int.toString 5?
我有一个文件 foo.sml,其中包含一行标准 ML 代码: 整数到字符串 5 这在 SML/NJ 中运行良好,但在 MLton 中则不然: $ 猫 foo.sml 整数到字符串 5 $ 小毫升 < foo.sml Standard ML of New Jersey (...
这些返回类型有什么不同? val fn1 : int -> (int -> (int -> int)) val fn2: (int -> int) -> (int -> int) 这创建了一个类型的函数 整数 -> 整数 -> ...
(* 定义将变量表示为字符串的数据类型 *) 数据类型变量 = 字符串的 GLL_Variable; (* 为变量类型(布尔值或整数)定义数据类型 *) 数据类型 Type = TypeBoolea...
使用SML/NJ的Lazy — 表达式应该是15,但它发散了
我正在使用 SML/NJ v110.80 和 Lazy。 我在 repl 中尝试了以下代码 Control.lazysml := true; 打开懒惰; 乐趣 f x = f x; 让 val x = $(f(4)) 在 15 结束; 最后一个表达式应该是 15 但它除...
这是我的第一个递归函数;我是编程世界的新手。所以,这段代码确实让我很困惑。我发现SML不允许变量更新。所以我学会了使用 ref,然后...
我试图添加给定整数列表中的所有元素,最后返回一个整数作为其总和 以下是我尝试过的代码 val intList = [1,2,3,4]; 有趣的addList(列表)= 让 瓦尔头 = ...
在 StandarML 中使用 case of 提取的一对实数相乘
我创建了一个数据类型和一个函数。该函数必须能够根据该对的成员是整数还是实数来进行乘法运算。我可以开始为 Int 工作,但是当我添加一个 ...
我正在尝试使用 SML 中的流函数编写一个函数来展平流,但我不确定该怎么做。 我的想法: fun flatten xxs = (case xxs of 空 => 空 |缺点(...
在 CM 文件中使用的文件中使用 HashTable 结构时出错
我正在使用 CM 文件“build.cm”来编译我的 sml 文件。在文件 symbol_table.sml 中,我使用了 sml 基础库中的结构 HashTable。运行 CM 文件时,我收到一个
SML如何投值?尝试获取 S-Expression 解析器的返回类型并转换为数据结构
我正在使用 SML/NJ 中包含的 S-Expression 库。在我的用例中,包含 SExpressions 的文件将始终为 String List List List 类型。 SExpParser.parse 成功解析了我的...
在 SML 中 - 如果遇到第一个表达式,为什么简单递归不总是返回 0?
在一个简单的递归中,第一个 if 表达式为真然后为 0。如果递归中的步骤一直进行到第一个表达式为真,为什么不总是返回 0? 有趣的步进(n:整数,数字...
你好,我是Smlnj的新手,我想修改一个输入,把它交给一个函数。但我在修改输入时卡住了。具体来说,我读取输入并将其存储在一个列表中。我想做一个 ...
我目前正在学习SMLNJ,因为一个程序,基本的输入主要用gui,但高级选项用SML输入。我想比较一个字符串是否是另一个字符串的子串。如果是 ...
我是SML语言的新手,我想这样做:问一个人 "你的全名是什么?"从用户的键盘上得到答案,并写上 "你的全名是 "+名字(回答的是他或她的名字)。
我正在尝试将这段代码从Haskell转换为SML,这将产生一个高阶函数(众所周知的文件夹)type List_alg xu =(u,x-> u-> u)list_cata :: List_alg xu-> [...
[我想在SML中创建一个对无向图进行BFS遍历的函数e.x Graph = [| [2],[3,4],[1,2],[2] |]。 fun bfs(g:图)(n:顶点):顶点列表=让乐趣助手(todo:...
我基本上想创建一个数组(Array.array(k + 1,1)),但是由于k是Int64类型的(必须是),所以我无法创建该数组(给出错误),所以我试图找到一种方法来绕过该错误。 ...
所以给了我以下问题,我正在经历一个难以置信的艰难时期,想方设法开始……有人可以帮助我吗?到目前为止,我的参考文献是:https://www.cl.cam.ac.uk/~lp15/MLbook/pub -...
所以给了我以下问题,我正在经历一个难以置信的艰难时期,想方设法开始……有人可以帮助我吗?到目前为止,我的参考文献是:https://www.cl.cam.ac.uk/~lp15/MLbook/pub -...