sml 相关问题

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

在Ullman的SML书中，9.3.2 Primitive Type Constructors列出了类型构造函数：ref、array和vector，9.3.3 Primitive Datatypes列出了数据类型：bool、list、option和order。6.1.1回顾...

types programming-languages sml ml

回答 1 投票 0

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

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

string substring sml smlnj

回答 1 投票 0

将代码从Haskell翻译成SML的煤代数列表。

我试图在Haskell中翻译这段描述List anamorphism的代码，但不能完全让它工作。最后三行应该是生成一个函数计数，给定一个 ...

haskell functional-programming sml category-theory unfold

回答 1 投票 0

SML语言列表

我开始学习SML语言。我在github上看到这段代码，当我在SML of New Jersey上运行这段代码时，它给出了以下错误信息。我不知道如何给列表作为参数并运行代码，请看图片(...)

list sml

回答 1 投票 0

在Why3ML中输入lambdas的正确方法是什么？

我想用lambda函数来验证一个函数。例如： let map (t : 数组int) (f : 数组int -> 数组int) : 数组int = f t 然而，这将产生一个错误。文件 "map_reduce.mlw", ...

sml why3 why3ml

回答 1 投票 1

将python转换为SML

我想把一个python程序转换成SML语言，但是卡住了。下面是python程序 def binomialCoeff(n, k): result = 1 for i in range(1, k+1): result = result * (......)

python sml

回答 1 投票 0

在ML中使用ref函数

考虑到 ref 运算符，我很难理解它的应用和后续指令的意义。1. 在这个定义中，我定义了什么？- val ref x=ref 9; val x = 9 : ...

sml ml

回答 2 投票 3

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

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

sml smlnj

回答 1 投票 0

在sml中调用polyEqual

有人可以告诉我此错误的原因吗？我不明白。这是我的代码，用于删除sml中列表的重复元素。有趣的删除（num，[]）= [] | remove（num，x :: y）=如果x = num，则删除（...

sml ml

回答 1 投票 0

SML数据类型匹配冗余产生冗余

我来自Little Little MLer数据类型'比萨=底部|打顶（'a *（'a披萨））和此数据类型fish = cho鱼| Lox |金枪鱼和这个正在工作的...

types sml

回答 1 投票 0

SML多态模式匹配

我玩的开心my_eq（x：'a，y：'a）= true | my_eq（x：'a，y：'b）= false，不起作用。但是为什么不呢？我的猜测是，是的，它可能会看到x是一个int，y也是一个int，但不是……...>

polymorphism sml

回答 1 投票 0

为什么在重新定义变量时使变量不可变并创建新条目？

在SML中，如果我正确的话，默认情况下变量是不可变的。因此，当我们尝试重新定义变量val y = 100时；值y ＝ 0.6； y环境将有y的两个条目。新条目将隐藏...

immutability sml

回答 2 投票 0

SML数据类型转换：绑定不详尽

types sml

回答 1 投票 0

结构声明是核心语言还是模块语言的声明？

在SML的语法核心语言dec :: = val⟨var⟩（，）中valbind值fun⟨var⟩（，）funbind函数类型typbind类型数据类型datbind⟨withtypetypbind⟩数据类型...

sml ml

回答 1 投票 0

SML中的环境由哪些类型的声明组成？

在SML中，环境由变量及其表示的值的绑定组成。环境是否由以下哪个声明的绑定组成？ val声明函数...

declaration sml ml

回答 1 投票 0

为什么`a :: nil中的`a`代表长度为1的列表？

在Ullman的SML书中：请注意，我们将“长度为1的列表”表示为模式的方法是在单个标识符周围放置方括号，例如[a]。这样的模式只能与具有...

list pattern-matching sml ml

回答 1 投票 0

为什么连接运算符@或算术运算符不是合法的模式构造函数？

在Ullman的SML书中，还有其他一些有意义的模式，但在ML中是非法的。例如，我们可能希望能够使用串联运算符@或...

pattern-matching sml ml

回答 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

将代码从Haskell转换为SML时遇到麻烦

我正在尝试将以下代码从SML转换为haskell，但遇到了一些麻烦。类型List_alg x u =（u，x-> u-> u）list_cata :: :: List_alg x u-> [x]-> u list_cata ...

haskell functional-programming sml category-theory catamorphism

回答 1 投票 0

为什么SML中的列表串联正确关联？

在Ullman的SML书中，最不寻常的是:::（list cons）和@（list concatenation）运算符是右关联的，这意味着它们像大多数情况一样从右向左分组，]

list sml ml

回答 1 投票 0

sml 相关问题

最新问题