标准ML是一种带有类型推断的高级函数语言。
number_in_month练习（如何在SML中不返回任何内容而不是空列表）
我正在使用SML进行编程任务。其中一个功能要求我将使用的int三元组列表（（int * int * int）list）返回给其他列表。该函数对日期进行排序...
number_in_month练习（为什么x = x +1被认为是sml中的布尔值，而x是int以及如何正确地表示x = x +1？）
更新：我想用这段代码来获取日期，年/月/日和给定数字作为月份的列表，并检查给定列表中有多少个日期在同一日期月份...
number_in_month练习（在SML中获得EQUAL。OP错误，一个功能不能正常工作，其他功能则不行）
（*写一个函数number_in_month，该函数接受日期和月份列表（即int），并返回给定月份列表中的日期。*）fun number_in_month（datelist：（int * int * int ）...
[这是我的咖喱阶乘函数代码，我希望输出为真正有趣的pow（x：real）（n：real）= if（n = 0.0）然后1.0 else x：real * pow（x：real）（ n-1：real）;但是我的语法真的是错误的……
[我正在尝试创建一个读取文本文件的列表，例如，我有一个像这样的文本文件“ 1 5 12 9 2 6”，我想创建一个像这样的列表[1,5,12,9， 2,6]使用SML
您如何在MacOS Catalina上设置StandardML
我已按照http://smlnj.org/dist/working/110.96/index.html上的说明进行安装。我单击下载的程序包，然后单击打开，这将打开安装程序。一旦这是...
我想到的是类似于此处所述的F＃机制。在调查中，我没有发现明确指出或没有的内容。
我正在尝试用sml编写我的第一个函数。它使用一个元组，并返回第一个元素乘以10，第二个元素乘以6和第三个元素的总和，然后除以10。我不知道我是什么...
因此，问题是对于任何整数n，是否存在正好具有n个类型的值。对于n = 0和n = 1，答案应该是明确的（零，很多），但是对于n> 1？
我试图在SML中找到列表的中间元素，而不使用任何形式为List.what的预先实现的功能。我可以使用需要2个相同列表的函数，递归调用...
我对SML代码非常陌生，我正在尝试制作一个函数，该函数返回一个所有素数的列表，直到用户给出的数字为止。除了保持...
我需要创建列表[1,2,3 ... n]，而无需使用预先实现的列表功能。我可以通过写以下内容来使列表向后：fun makeList（x：int）=如果x = 0则[] else x :: makeList（x-1）然后I ...
我如何参数化此函数以接受一个函数并将TextIO.closeOut作为输入？
是否可以参数化此aux函数以接受TextIO.closeOut流出和readFileList xs流出n作为输入？还是我必须在TextIO中使用该append函数才能使丑陋程度降低...
val SOME i = Int.fromString e我的代码上有这样一行，smlnj向我显示此警告vm.sml：84.7-84.32警告：绑定不详尽SOME i = ...这是不好的做法吗？ ...
我正在尝试实现一个二叉树，其中每个节点都可以保存'a或'b类型的信息。一种简单的解决方案是使用2个这样的构造函数：datatype（'a，'b）Tree = Lf ...
如果存在Isabelle / ZF（更确切地说是IFOL）中的相等性定义：公理化eq :: ‹['a，'a]⇒o›（infixl ‹=› 50）其中refl：‹a = a›和subst：‹a = b⟹P(a)⟹P(b)›如何……
我需要帮助完成此代码：fun insertSorted（x，comp，[]）= [x] | insertSorted（x，comp，a :: rest）= ??如果编写正确，它将返回-insertSorted（5，fn（a，b）=> a> b，[8，6，...
当调用f（x-1）时，它调用f（x）= x + 10还是f（x）= if ...这是尾递归吗？我应该如何使用静态/动态分配重写它？让乐趣f（x）= x + 10让乐趣f（x）=如果...