标准ML是一种带有类型推断的高级函数语言。
我试图添加给定整数列表中的所有元素，最后返回一个整数作为其总和 以下是我尝试过的代码 val intList = [1,2,3,4]; 有趣的addList（列表）= 让 瓦尔头 = ...
有趣的same_string（s1：字符串，s2：字符串）= s1 = s2 有趣的 all_ except_option(str, []) = NONE | all_ except_option(str, x::xs) = 案例 Same_string(x, str) of true => 一些 xs...
在 StandarML 中使用 case of 提取的一对实数相乘
我创建了一个数据类型和一个函数。该函数必须能够根据该对的成员是整数还是实数来进行乘法运算。我可以开始为 Int 工作，但是当我添加一个 ...
我正在尝试使用 SML 中的流函数编写一个函数来展平流，但我不确定该怎么做。 我的想法： fun flatten xxs = (case xxs of 空 => 空 |缺点（...
SML：我想遍历一个列表并返回输入到给定函数时返回 true 的元素数
这个问题可能听起来令人困惑，但基本上 我想制作一个接受列表和另一个函数的函数。现在遍历该列表，我想获得返回 true 的元素的数量
在此 SML 代码中，我试图打开用户选择的文件，但我不断收到 tycon 不匹配错误
我正在开发一个标准 ML (SML) 程序，该程序读取用户提供的文件并打印文件的第一行。我写了以下代码： 有趣的 readAndPrintLine instream = 案例 Te...
SML如何投值？尝试获取 S-Expression 解析器的返回类型并转换为数据结构
我正在使用 SML/NJ 中包含的 S-Expression 库。在我的用例中，包含 SExpressions 的文件将始终为 String List List List 类型。 SExpParser.parse 成功解析了我的...
我有点了解模式匹配的工作原理，但遇到了以下将下划线 _ 与加注 ListLengthMismatch 匹配的示例。为什么我们要使用下划线？ 有趣的 zip3 列表 = 案例
你好，我是Smlnj的新手，我想修改一个输入，把它交给一个函数。但我在修改输入时卡住了。具体来说，我读取输入并将其存储在一个列表中。我想做一个 ...
在SML中，声明(val-declaration，type declaration，...)表达式是一个语句，如果我没说错的话，它是被定义为带有副作用的表达式还是其他什么？谢谢。
在SML的语法中 程序 prog ::= dec core declaration functor fctbind functor declaration signature sigbind signature declaration empty prog1 ⟨;⟩ ...
在Ullman的SML书中，9.3.2 Primitive Type Constructors列出了类型构造函数：ref、array和vector，9.3.3 Primitive Datatypes列出了数据类型：bool、list、option和order。6.1.1回顾...
我目前正在学习SMLNJ，因为一个程序，基本的输入主要用gui，但高级选项用SML输入。我想比较一个字符串是否是另一个字符串的子串。如果是 ...
我试图在Haskell中翻译这段描述List anamorphism的代码，但不能完全让它工作。最后三行应该是生成一个函数计数，给定一个 ...
我开始学习SML语言。我在github上看到这段代码，当我在SML of New Jersey上运行这段代码时，它给出了以下错误信息。我不知道如何给列表作为参数并运行代码，请看图片(...)
我想用lambda函数来验证一个函数。例如： let map (t : 数组int) (f : 数组int -> 数组int) : 数组int = f t 然而，这将产生一个错误。文件 "map_reduce.mlw", ...
我想把一个python程序转换成SML语言，但是卡住了。下面是python程序 def binomialCoeff(n, k): result = 1 for i in range(1, k+1): result = result * (......)
考虑到 ref 运算符，我很难理解它的应用和后续指令的意义。1. 在这个定义中，我定义了什么？- val ref x=ref 9; val x = 9 : ...
我是SML语言的新手，我想这样做：问一个人 "你的全名是什么？"从用户的键盘上得到答案，并写上 "你的全名是 "+名字（回答的是他或她的名字）。