smlnj 相关问题

新泽西标准ML（SML / NJ）

柯里化函数类型中括号的区别

这些返回类型有什么不同？ val fn1 : int -> (int -> (int -> int)) val fn2: (int -> int) -> (int -> int) 这创建了一个类型的函数整数 -> 整数 -> ...

sml smlnj ml

回答 3 投票 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中“ref”的递归函数

这是我的第一个递归函数；我是编程世界的新手。所以，这段代码确实让我很困惑。我发现SML不允许变量更新。所以我学会了使用 ref，然后...

recursion functional-programming ref smlnj

回答 1 投票 0

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

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

sml smlnj

回答 3 投票 0

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

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

sml smlnj ml

回答 1 投票 0

SML 函数来展平流？

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

lazy-evaluation sml smlnj

回答 0 投票 0

在 CM 文件中使用的文件中使用 HashTable 结构时出错

我正在使用 CM 文件“build.cm”来编译我的 sml 文件。在文件 symbol_table.sml 中，我使用了 sml 基础库中的结构 HashTable。运行 CM 文件时，我收到一个

smlnj cm

回答 1 投票 0

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

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

casting sml smlnj mlton

回答 2 投票 0

在 SML 中 - 如果遇到第一个表达式，为什么简单递归不总是返回 0？

在一个简单的递归中，第一个 if 表达式为真然后为 0。如果递归中的步骤一直进行到第一个表达式为真，为什么不总是返回 0？有趣的步进（n：整数，数字...

recursion smlnj

回答 2 投票 0

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

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

functional-programming sml smlnj ml

回答 1 投票 0

SML如何在比较isSubstring后改变字符串。

我目前正在学习SMLNJ，因为一个程序，基本的输入主要用gui，但高级选项用SML输入。我想比较一个字符串是否是另一个字符串的子串。如果是 ...

string substring sml smlnj

回答 1 投票 0

如何在SML语言中读取用户键盘上的字符串？

我是SML语言的新手，我想这样做：问一个人 "你的全名是什么？"从用户的键盘上得到答案，并写上 "你的全名是 "+名字（回答的是他或她的名字）。

sml smlnj

回答 1 投票 0

将这段代码从Haskell转换为SML（同形/折叠）

我正在尝试将这段代码从Haskell转换为SML，这将产生一个高阶函数（众所周知的文件夹）type List_alg xu =（u，x-> u-> u）list_cata :: List_alg xu-> [...

haskell functional-programming sml fold smlnj

回答 1 投票 1

（int列表数组）图形的SML BFS遍历

[我想在SML中创建一个对无向图进行BFS遍历的函数e.x Graph = [| [2]，[3,4]，[1,2]，[2] |]。 fun bfs（g：图）（n：顶点）：顶点列表=让乐趣助手（todo：...

sml smlnj ml

回答 1 投票 0

我可以用Int64创建数组吗？

我基本上想创建一个数组（Array.array（k + 1，1）），但是由于k是Int64类型的（必须是），所以我无法创建该数组（给出错误），所以我试图找到一种方法来绕过该错误。 ...

sml smlnj ml

回答 2 投票 0

成对和列表

所以给了我以下问题，我正在经历一个难以置信的艰难时期，想方设法开始……有人可以帮助我吗？到目前为止，我的参考文献是：https：//www.cl.cam.ac.uk/~lp15/MLbook/pub -...

sml smlnj

回答 1 投票 0

我非常困惑，很难在smlnj中创建函数

sml smlnj

回答 1 投票 0

？标准ML：如何计算x的i次方？

我是Standard ML的新手。我正在尝试计算x的平方i，其中x是一个实数，而i是一个非负整数。该函数应带有两个参数x和i这是到目前为止我所拥有的：fun ...

sml smlnj

回答 1 投票 0

为什么绑定不详尽？

为什么绑定在最后一行没有详尽的警告？水果类型数据=苹果数据类型大小水果=大水果|较小的水果大x =大苹果；我认为绑定是详尽无遗的，因为...

pattern-matching sml smlnj ml

回答 1 投票 0

smlnj 相关问题

最新问题