问题标签 [sml]

有人建议我将此作为一个单独的问题提出，这样我就可以了。

我有一棵人的树，就像家谱一样。它从一个人开始，然后分支为父母、祖父母等。我希望能够将一个人插入树上的某个位置（基本上替换那里的任何人）。

这些数据类型很重要：

赋值如下： 声明一个函数insert : tree * parents list * person -> tree，这样调用insert(t, pos, p)就会将person p插入到树i中的位置pos——假设位置存在于树中。如果不是，它应该返回 t。

所以我需要能够在我的树中取一个人（比如说妈妈）并将她替换为 Lucy（Mom 和 Lucy 都是使用数据类型 person 预先声明的值）。

到目前为止，我有这个：

似乎要做的就是删除 t 的 pos 中的任何人并用 p 替换根 - 这不是我想要的：S 此外，模式匹配还没有完成。

有什么想法可以让我搬到这里吗？

如何声明函数后缀：字符串列表 -> 字符串列表？

我正在尝试声明一个函数，字符串列表-> 字符串，例如输入 ["Chicago","city","USA"]应该返回的函数"Chicago city USA"。到目前为止我所做的是：

这似乎有点像，但问题是，我想包括单词之间的空格，因为这个函数会返回"ChigagocityUSA".

我给了：spacegather：字符串列表->字符串

我必须创建一个函数，所以它会调用：

spacegather ["I", "am", "nice"] 到 -> "I am nice"

谢谢

我正在尝试将字符串转换为字符列表列表，并且我有以下代码：

我需要使用以下内容打开文件（sudo.txt）

进入

但我得到了这个

我如何解决它？

我有一项任务要做，但我不知道如何做一个问题。这是我必须做的：

编写一个函数，收集树 T 中满足属性 p 的所有元素并返回它。依次遍历树。使用成功延续找到 BST 中满足 f 的所有元素。

我做了以下事情：

我不明白为什么它不起作用...

我正在尝试声明一个函数 takelist : 'a list list -> int -> 'a list，以便调用 takelist xs n 将返回 xs 列表中点号 n 中的元素。

应该返回 [#"6", #"2", #"9"]。

这就是我所拥有的：

我做了我想要的一半，我不知道如何得到一切。我只是从第一个列表中获取 n 而不是全部。有人告诉我地图可以提供帮助，但到目前为止，我还没有正确使用它的运气。

任何帮助表示赞赏！

如何声明一个函数，以便 Listn : ' ' a list -> ' ' a list -> bool, listn xs 和 ys 返回 true。  

示例： lisen [#"1" #"2"] , [#"1" "#3"] 返回 false 和 [#"1" , #"2"] [#"2" , #"1"] 返回真的

有谁知道如何声明一个函数

rscheck : 字符列表列表 -> bool

，检查数字1-9是否在每一行和每个列表中使用一次......所以它返回true？

就像在数独游戏中一样。。

谢谢。

我正在尝试声明一个函数，该函数将让我更改字符列表列表中的数字（我仍在研究之前的数独游戏）。changesudo : char list list -> int * int * char -> char list list 我需要能够调用 changesudo xs (r,s,c) 其中 xs 是 char 列表，r 是列表，s 是位置在 xs 和 c 中是字符。

这就是我所拥有的：

这是一个'a list list -> int * int *'a ->'a list list - 所以我快到了。

我如何解决它？

我用这个函数得到了字符列表列表