为什么我不能在标准 ML 中比较实数?
为什么 1.0 = 2.0 不起作用?real 不是相等类型吗? 它给出了错误: 错误:运算符和操作数不一致[需要相等类型]运算符域:''Z * ''Z操作数:实数 * 实数表达:1.0 = 2.0 为什么模式中的实数不能这样工作? 趣闻 0.0 = 1.0|事实 x = x * 事实 (x - 1.0) 它给出了错误: 错误:语法错误:插入 EQUALOP 解决方案 为什
..
smlnj相关内容
'int 是什么?树'在 SML 错误消息中是什么意思?
我为一个班级编写了以下 SML 代码: 有趣的查找 (cmp: 'a * 'a -> order) (x: 'a, t: 'a tree) : 'a option =案例 t空 =>没有任何|节点(l,y,r) =>案例 cmp(x,y) 的等于 =>一些 y|少 =>查找 (cmp) (x,r)|更大 =>查找 (cmp) (x,l) 在测试中: val SOME 3 = lookup I
..
在 ML(SMLNJ) 中打开文件
我需要在 ML (SLMNJ) 中读取文件并将其保存在某些结构中.我需要读取一些指向图声明的数据: [( 1 , 2 , 13 ),( 2 , 3 , 3 ),( 2 , 4 , 8 ),( 2 , 5 , 4 ),( 3 , 1 , 5 ),( 3 ,4 , 1 ),( 4 , 6 , 5 ),( 5 , 5 , 5 ),( 6 , 4 , 6 )] (第一个数字:节点名称，第二个数字:连接
..
number_in_month 练习(从元组列表构建整数列表的 SML 函数错误)
val test1 = [(1,5,3),(3,5,2),(3,4,5)]有趣的 number_in_monthdates_and_month =案例日期和月份(x,y,z)::xs' =>y :: number_in_month xs' 当我使用 test1 在 REPL 中运行时，此代码会产生以下错误: 未捕获的异常匹配[非穷举性匹配失败]提出于:hw1pm.sml:28.49
..
未解析的 flex 记录(需要知道此上下文中所有字段的名称)
我一直在尝试使用元组列表作为参数创建一个函数，但我不断收到错误消息:“未解析的弹性记录(需要知道此上下文中所有字段的名称)" 我的代码是: fun convert d = ( (map (#1) d) , (map (#2) d) ); 这基本上是试图将一对列表转换为一对列表.我还尝试将 d 的类型声明为 :('a * 'b) list 但这导致了更多错误.我认为这与元组的未知大小有关，可以使
..
SML 如何定义合适的选项
为什么下面的代码不起作用? 有趣的 sum_list xs =案例 xs[] =>没有任何|x::xs' =>一些 (x+sum_list xs') 当而不是 NONE 为零以及当我删除 SOME 时，此代码运行良好.我知道对于空列表的总和为零是合理的答案.但是为什么下面的例子失败了? 更新:按照迭戈的回答使其工作: 有趣的 sum_list xs =案例 xs[] =>没有任何|x
..
SML 未检测到 OS X Mavericks 上的操作系统
我无法在小牛队上运行 SMLNJ它向我显示了错误 sml:无法确定架构/操作系统 我还查看了/usr/local/smlnj/config/_arch-n-opsys 文件，那里提到了 Mavericks. 13*) OPSYS=darwin;HEAP_OPSYS=达尔文；；# MacOS X 10.9 小牛队 有人可以帮助我吗? 解决方案 你可以使用这个.pkg 文件重新安装SM
..
SML/NJ的简单功能
我被要求为课堂上的问题写一套函数.我认为我写这些书的方式比他们需要的要复杂一些.我必须自己实现所有功能，而无需使用和预先定义的功能.我想知道这些答案是否有任何简单的“单行"版本? 集可以表示为列表.集合的成员可以按任何顺序出现在列表中，但不应超过一个列表中元素的出现. (a)定义dif(A，B)为计算A和B的集合差A-B. (b)定义笛卡尔(A，B)计算集合A和集合B的笛卡尔积，
..
代码在Notepad ++中时，如何使用SMLNJ编译SML?
我对SML完全陌生，我不知道如何使用与SML相关的任何东西.我应该使用SMLNJ编译器，并且当前正在使用Notepad ++进行编码.但是我如何准确地编译程序?是否将代码复制并粘贴到SMLNJ命令行中?还是我可以实际编写并编译代码的SMLNJ环境?请帮助！ 解决方案 如果用“编译"来表示“编译为独立的可执行文件"，那么当您首次学习该语言作为完整答案时，不必担心有点牵连.从原则上讲，这是可能
..
SML/NJ:如何使用HashTable?
我真的很想在SML中创建一个HashTable，似乎在SML/NJ中已经有一个用于此的结构. 问题是，我该如何使用它?我还没有完全理解如何在SML中使用结构，并且在我读过的书中一些非常基本的示例给了我什至不知道如何更正的错误，因此使用HashTable结构可能很容易，但是我不知道如果有人可以解释这一点，那也太好了！ 我在想是这样的: val ht : string * int H
..
适用于标准ML/NJ的BigInt
是否存在与Java ML等效的Standard ML?普通的int类型在溢出时会引发异常. 解决方案 是的，请参见 IntInf 结构.
..
在SML程序中调用Python文件？
我想知道是否可以在SML程序中调用python文件，如果可以，该怎么办？我已经尝试研究如何执行此操作，但是只找到了有关如何调用其他SML文件的文档。 解决方案 我认为 OS.Process.system“ python myscript.py” 应该可以工作。请参阅： http://sml-family.org/Basis/os-process.html
..
解决SML/NJ编译管理器中的库冲突
我正在使用SML/NJ 110.79，其中包括对后继ML项目定义的新结构的支持.其中包括 Fn 结构. 碰巧的是，我的我的带有实用程序的个人项目之一中已经有一个同名的结构，在110.79之前运行良好. 对于此 .cm 文件，使用110.79: group is $/basis.cm $SMACKAGE/sml-extras/v0.1.0/sources.sml.cm
..
IF条件内的VAL关键字不允许在SML中重新分配
给出以下代码(不起作用): fun func() = val decimal = 0 (* the final result *) val multiple = 0 (* keeps track of multiples, eg. In XXV, X would be a multiple *) val current = 0 (* the digit currently being p
..
SMLNJ插入排序运算符和操作数不同意错误
我正在用SML编写插入排序代码，这里是 fun compare(x:real, y:real, F) = F(x, y); fun isEqual(x:real, y:real) = ((x = y)); fun rinsert(x: real, [], F) = [x] |rinsert(x, (y::ys), F) = if isEq
..
递归函数，用于漂亮地打印列表中的元素
我需要编写一个函数，该函数接受类型为(int * int) list的输入并打印成对的整数.此函数应利用另一个函数printGenList(采用函数f和列表l并将f递归应用于列表的每个元素)，我编写的代码如下- fun printGenList f l = if NULL l then () else ( (f (HD l) ); printGenList (f) (TL l) );
..
SML中的Horner算法？
我正在尝试在SML中实现霍纳算法。 有趣的Horner（lst1：real list，x：real）= let val i = ref 1 val结果= ref（List.last（lst1）） 在 中，如果（lst1）=（[]：真实列表），则0.0 否则 而（！i
..
在smlnj中，如何转换“字符串选项" “串"?
请帮助我不知道字符串选项的作用. 是否可以将字符串选项转换为字符串? 解决方案 如前所述，您可以使用模式匹配来获得所需的结果. 所以，像这样: fun foo(NONE) = "" | foo(SOME a) = a; 但是您可以避免麻烦，并使用 SML库中的Option.valOf 函数，而不是仅仅这样做: Option.valOf(SOME "my strin
..
标准的ml循环麻烦
我正在设置一个函数，该函数将模拟循环直到满足条件为止. 我的总体计划是使用递归，但是我试图先降低基础知识. 我有一个使用If语句的基本函数，该语句查看X的值是什么.我打算使用递归将X用作计数器，但稍后我会介绍. 我现在主要关心的是，似乎我只能在"then"语句之后执行1条命令. fun whileloop (x,a) = if (x
..
记录清单上的SML功能
我正在尝试声明一个函数，该函数将元组内的记录列表作为参数，但是语法不如我所希望的直观. 这就是我想要做的: type Player = {id:int, privateStack:int list}; fun foo(({id, x::xs}:Player)::players, ...) = (* wrong syntax *) (* do something *) 解决方
..