sml 相关问题

标准ML是一种带有类型推断的高级函数语言。

如何在VScode中安装并运行SML/NJ

对于资深程序员来说，如何在 VScode 中安装并运行 SML 语言？语法高亮和解释。谢谢您的宝贵时间

visual-studio-code sml

回答 1 投票 0

SML 中 let-in-end 的递归是什么样的

有人可以教我 let-val-in-end 情况下的递归是什么样的吗？我很难理解这个过程，即循环的崩溃 [SML] 示例： “c”的行为如何...

functional-programming sml

回答 1 投票 0

SML 中的嵌套 case 语句

这更多的是一个风格问题。给出以下代码： case e1 of (* 数据类型 type_of_e1 = p1 | p2 *) p1 => (*

coding-style sml

回答 3 投票 0

('a,'b) 和 ('a*'b) 有什么区别？

在 Haskell 中，我们有一个元组类型，如 (a, b, ...)。我正在尝试阅读一些 SML 代码，并且我已经知道值 (a, b) 类型是 a * b。但后来我看到了这个：输入 ('a,'b) reader = 'b -> ('a * 'b)

haskell syntax tuples sml

回答 1 投票 0

sml 标准弹出功能与用户自定义功能。并返回值

我对我定义的 pop() 标准函数和 myPop() 函数以及相关的返回类型有一些疑问。 1. fun myPop(L)= if null L then raise EmptyList else (hd L,tl L) val myPop = f...

types return sml

回答 1 投票 0

错误：未绑定类型构造函数：TypeInteger

(* 定义将变量表示为字符串的数据类型 *) 数据类型变量 = 字符串的 GLL_Variable； (* 为变量类型（布尔值或整数）定义数据类型 *) 数据类型 Type = TypeBoolea...

sml smlnj

回答 1 投票 0

使用SML/NJ的Lazy — 表达式应该是15，但它发散了

我正在使用 SML/NJ v110.80 和 Lazy。我在 repl 中尝试了以下代码 Control.lazysml := true; 打开懒惰；乐趣 f x = f x; 让 val x = $(f(4)) 在 15 结束；最后一个表达式应该是 15 但它除...

lazy-evaluation sml smlnj

回答 1 投票 0

SML 将两个函数（最小值、最大值）合并为一个（范围）

无论如何，将这两个函数组合起来，这两个函数接受一个列表并返回最高和最低的元素。想要同时输出两者。干杯 fun max[] = 引发空最大值[x] = x 最大（x::xs）=...

list range sml

回答 3 投票 0

如何在SML中添加列表中的所有元素

我试图添加给定整数列表中的所有元素，最后返回一个整数作为其总和以下是我尝试过的代码 val intList = [1,2,3,4]; 有趣的addList（列表）= 让瓦尔头 = ...

sml smlnj

回答 3 投票 0

如何将记录三元组附加到 sml 中的列表

有趣的same_string（s1：字符串，s2：字符串）= s1 = s2 有趣的 all_ except_option(str, []) = NONE | all_ except_option(str, x::xs) = 案例 Same_string(x, str) of true => 一些 xs...

sml

回答 1 投票 0

在 StandarML 中使用 case of 提取的一对实数相乘

我创建了一个数据类型和一个函数。该函数必须能够根据该对的成员是整数还是实数来进行乘法运算。我可以开始为 Int 工作，但是当我添加一个 ...

sml smlnj ml

回答 1 投票 0

SML 函数来展平流？

我正在尝试使用 SML 中的流函数编写一个函数来展平流，但我不确定该怎么做。我的想法： fun flatten xxs = (case xxs of 空 => 空 |缺点（...

lazy-evaluation sml smlnj

回答 0 投票 0

如何使用 SML 求解数字根

我在编写一个计算整数的数字根的函数时遇到了问题。考虑取一个数字“n”，将其数字相加，然后将数字相加的过程的数量...

sml

回答 1 投票 0

SML：我想遍历一个列表并返回输入到给定函数时返回 true 的元素数

这个问题可能听起来令人困惑，但基本上我想制作一个接受列表和另一个函数的函数。现在遍历该列表，我想获得返回 true 的元素的数量

list sml ml

回答 2 投票 0

在此 SML 代码中，我试图打开用户选择的文件，但我不断收到 tycon 不匹配错误

我正在开发一个标准 ML (SML) 程序，该程序读取用户提供的文件并打印文件的第一行。我写了以下代码：有趣的 readAndPrintLine instream = 案例 Te...

sml

回答 0 投票 0

SML如何投值？尝试获取 S-Expression 解析器的返回类型并转换为数据结构

我正在使用 SML/NJ 中包含的 S-Expression 库。在我的用例中，包含 SExpressions 的文件将始终为 String List List List 类型。 SExpParser.parse 成功解析了我的...

casting sml smlnj mlton

回答 2 投票 0

SML模式匹配如何检测listlength不匹配

我有点了解模式匹配的工作原理，但遇到了以下将下划线 _ 与加注 ListLengthMismatch 匹配的示例。为什么我们要使用下划线？有趣的 zip3 列表 = 案例

exception pattern-matching sml

回答 0 投票 0

给定一个列表，创建一个元组列表 SML

你好，我是Smlnj的新手，我想修改一个输入，把它交给一个函数。但我在修改输入时卡住了。具体来说，我读取输入并将其存储在一个列表中。我想做一个 ...

functional-programming sml smlnj ml

回答 1 投票 0

在SML中，声明是一个表达式吗？

在SML中，声明(val-declaration，type declaration，...)表达式是一个语句，如果我没说错的话，它是被定义为带有副作用的表达式还是其他什么？谢谢。

expression declaration sml ml

回答 1 投票 1

SML程序中的声明如何分离？

在SML的语法中程序 prog ::= dec core declaration functor fctbind functor declaration signature sigbind signature declaration empty prog1 ⟨;⟩ ...

sml ml

回答 1 投票 0

sml 相关问题

最新问题