sml 相关问题

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

SML列表[1,2,3，…n]

我需要创建列表[1,2,3 ... n]，而无需使用预先实现的列表功能。我可以通过写以下内容来使列表向后：fun makeList（x：int）=如果x = 0则[] else x :: makeList（x-1）然后I ...

sml smlnj

回答 1 投票 0

在SML中隐藏相互递归函数

我有两个相互依赖的功能。每个人都必须使用另一个人才能执行所需的任务。我在使用SML时使用了and运算符。问题是我是...

sml

回答 1 投票 0

我如何参数化此函数以接受一个函数并将TextIO.closeOut作为输入？

是否可以参数化此aux函数以接受TextIO.closeOut流出和readFileList xs流出n作为输入？还是我必须在TextIO中使用该append函数才能使丑陋程度降低...

function functional-programming sml smlnj

回答 1 投票 0

我如何直接将val绑定到SML中的选项值？

val SOME i = Int.fromString e我的代码上有这样一行，smlnj向我显示此警告vm.sml：84.7-84.32警告：绑定不详尽SOME i = ...这是不好的做法吗？ ...

functional-programming sml smlnj

回答 1 投票 0

具有1个构造函数的SML多类型二叉树

我正在尝试实现一个二叉树，其中每个节点都可以保存'a或'b类型的信息。一种简单的解决方案是使用2个这样的构造函数：datatype（'a，'b）Tree = Lf ...

tree binary-tree sml

回答 1 投票 0

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

如果存在Isabelle / ZF（更确切地说是IFOL）中的相等性定义：公理化eq :: ‹['a，'a]⇒o›（infixl ‹=› 50）其中refl：‹a = a›和subst：‹a = b⟹P(a)⟹P(b)›如何……

sml isabelle

回答 1 投票 1

Dijkstra的ML代码的完整代码

我需要帮助完成此代码：fun insertSorted（x，comp，[]）= [x] | insertSorted（x，comp，a :: rest）= ??如果编写正确，它将返回-insertSorted（5，fn（a，b）=> a> b，[8，6，...

sml smlnj ml

回答 1 投票 1

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

当调用f（x-1）时，它调用f（x）= x + 10还是f（x）= if ...这是尾递归吗？我应该如何使用静态/动态分配重写它？让乐趣f（x）= x + 10让乐趣f（x）=如果...

recursion dynamic-memory-allocation sml tail-recursion static-allocation

回答 1 投票 0

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

我在交替2个列表元素时遇到了SML代码方面的困难。我必须创建一个最终列表，该列表将包含2个相同大小的列表并替换其元素。一个例子...

sml

回答 2 投票 0

在SML中创建字典

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

dictionary sml smlnj metalanguage

回答 1 投票 0

在新泽西州SML中创建不同的微积分函数

A]编写函数indefIntegratePoly，该函数获取代表多项式的系数列表（从最高阶到最低阶，并且存在所有项），并返回新列表...

sml smlnj

回答 1 投票 0

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

我已经阅读了这篇文章，ML方言不允许非地面类型的类型变量。例如。最后一个语句无法表示：-Haskell代码类型Ground = Int类型FirstOrder a ...

sml language-design higher-kinded-types

回答 1 投票 0

检查字符串是否在SML中包含Pascal整数

有人可以帮我编写一个实现该功能的函数吗？我试过了：fun isPascalInteger（s：string）= if（size（s）= 0）然后返回true else（（！（isDigit（sub（s，0）））））然后返回false else（...

sml ml

回答 1 投票 1

检查字符串是否为毫升中的数字

sml ml

回答 1 投票 0

界外标

我在下面的代码中收到sml下标超出范围的错误。我无法弄清楚错误在哪里。有人可以帮忙吗？有趣的extract_Bools nil = nil | extract_Bools（（_，x）:: xs）=让...

sml

回答 2 投票 0

SML：获取列表中项目的索引

我是SML的新手，正在尝试获取列表中某项的索引。我知道使用List.nth会给我索引位置的项目值，但是我想要索引值。甚至可能...

list indexing sml

回答 3 投票 3

SML：从具有每个元组第二个元素的元组列表中创建一个列表

你好，我是SML的新手，我一直在尝试编写一个函数，该函数将一个具有两个整数和一个字符串的元组的列表（在我的情况下为普鲁士列表）作为参数，我的函数必须创建一个...

sml

回答 2 投票 1

“错误：未绑定变量或构造函数：False”

我正在测试列表是否是回文，所以我创建了一个称为reverse的函数来反转列表，并且创建了一个名为palindrome的函数，该函数使用模式匹配来尝试查看列表是否与...相匹配...

list function sml

回答 1 投票 0

Unbound Constructor Error（SML）语法错误帮助

我正在测试列表是否为pallindrone，所以我创建了一个名为reverse的函数，该函数可以反转列表。当pallindrone执行时，它使用模式匹配来尝试查看是否存在匹配项，如果反转的...

list function recursion sml

回答 1 投票 0

如何在SML中反转自定义列表？

我的自定义数据类型定义如下：数据类型'a mylist = NIL |我的清单的缺点尝试了几个小时，但无法弄清楚如何反转这样的列表。我的无效代码：很有趣...

recursion sml custom-data-type

回答 1 投票 0

sml 相关问题

最新问题