标签[sml]

标准ML是具有类型推断功能的高级功能语言。

1
1回复
26

在标准ML中存储反斜杠字符

我想将字符“ \\”存储在变量t中。 该行导致变量x中的char'q'。 同样,我尝试- 但这是行不通的,相反,它将这行之后的所有代码都变为“橙色”(表示未闭合的字符串原因的一部分)。 根
1
1回复
13

如何在sml中将函数的参数从int转换为real?

这是我在sml中编写的用于计算谐波和的代码。 我基本上想计算实数,因为整数都将计算为0(没有任何用处)。 但是这段代码给了错误。 试用1: 错误: 试用2: 错误: 甚至用0.0替换
0
1回复
19

运算符和操作数不一致[tycon不匹配]

我正在尝试在sml中编写一个函数,该函数接受一对列表并返回所有元素的两个列表对。含义输入是否为[[(1,2.0),(2,3.0)]输出应该为[[ 1,2],(2.0,3.0)) ; sml解
0
0回复
22

如何将int转换为SML中的字符串?

我制作了一个非常小的程序,它需要一个int并将其转换为SML中的字符串: 我一直在努力地以递归的方式来实现这一目标。 有什么帮助吗? 另外,我必须带一个字符串并将其转换为int,这通常是通过sta
-1
0回复
18

新泽西州SML混乱

我在SML中使用TutorialsPoint编写了一个程序。 然后,我下载了新泽西州的SML。 这是一个cmd窗口,当我复制并粘贴代码时,它可以工作。 但是我需要源文件,我该如何制作一个?
0
1回复
31

您将如何在SML中手动跟踪此功能?

我试图理解SML中函数的递归调用,其目的是在列表中找到最高的整数值。 由于教育原因,此功能不好。 我知道上面的函数由于重复的递归调用而以非常慢的方式提供了正确的结果。 我不明白的是究竟是如何最后
1
1回复
34

如何从源代码安装sml / nj?

我可以按照文档所述成功安装sml / nj: http : //smlnj.org/dist/working/110.99/install.html 但是如何从源代码安装,文档所说的方式让我下载co
0
1回复
13

CPN工具和SML中的真实色彩设置

我是cpn工具和标准ml语言的新手。 我想在cpn工具中定义真实的色彩集,但显示错误: 如何在不更改IDE的情况下执行此操作? 感谢您的帮助。
0
0回复
44

SML-在快速排序算法中找不到“未捕获的异常为空”的位置

我试图写一个不使用任何List.nth函数的快速排序算法。 我已经提出了,但是当我尝试对其进行测试时,它最终会抛出“未捕获的异常为空”。 我似乎找不到在哪里引发此异常。 这是我的代码:
0
0回复
24

这里的“ isSome oldest(tl date)”是什么意思; 为什么“最旧(tl个日期)”具有选项类型?

函数比较列表中的所有日期(如2018、2、28),并获取最早的日期
0
1回复
15

标准ml和Cpn工具中的除法运算符错误

我是标准ml的新手,正在使用cpn工具。我有一些常量: 我要计算PHY / RB,然后创建val x=PHY/RB; 在cpn工具中,但是在编写除法运算符时出现错误是什么问题? 请帮助我解决这个问
2
1回复
40

sml中输入int vs. [int ty]

我的问题似乎很简单,但是我似乎找不到任何答案。 我不确定sml中的int类型和[int ty]之间有什么区别。 尝试使用int元组列表作为我的函数的输入时,出现[tycon不匹配]错误。 例如: 输
1
1回复
111

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

您好,我是Sml / nj的新手,我正在尝试修改输入以将其提供给函数。 我被困在修改输入。 具体来说,我读取了输入并将其存储在列表中。 我想制作一个给定长度列表的函数,它将创建一个新列表,但带有2个
1
0回复
13

Isabelle / ZF中的等式的多态定义似乎不起作用

如果存在Isabelle / ZF(更确切地说是IFOL)中的平等定义: 我如何证明这一点: 它甚至没有经过类型检查! 而且“ eq”具有多态类型! 怎么会这样? 当然,
0
1回复
22

关于此sml递归函数的几个问题

当调用f(x-1) ,它调用f(x) = x+10还是f(x) = if ... 这是尾递归吗? 我应该如何使用静态/动态分配重写它?
0
2回复
17

来自2个列表的交替元素SML

在交替使用2个列表元素时,我的SML代码一直遇到困难。 我必须创建一个最终列表,该列表将包含2个相同大小的列表并替换其元素。 一个例子是alternate([1,3,5],[2,4,6]) =
0
1回复
15

SML中创建字典

我是SML语言的新手。 我已经学习了SML语言的基础知识。但是,在使用SML创建字典的代码方面遇到了麻烦。 所以,我想知道代码。
1
2回复
18

SML将索引添加到列表

给定一个通用列表,返回一个在元组中包含相同对象的列表,其索引在列表中。 例如: 该函数应该是单行的,这意味着没有模式匹配,递归,if / else,辅助函数和let / local。
0
1回复
14

SML New Jersey中创建不同的微积分函数

A)编写函数indefIntegratePoly ,该函数indefIntegratePoly代表多项式的系数列表(从最高阶到最低阶,并且存在所有项),并返回代表该多项式的不定积分的新系数列表。
1
1回复
27

在标准ML中是否可以支持更高种类的类型?

我在这篇文章中读到,ML方言不允许非地面类型的类型变量。 例如,最后一条语句无法表示: -- Haskell code type Ground = Int type Fi

1 2 3 4 5 6 7 8 9 10 下一页