链表 OCaml

Question

如何创建一个链接列表来保存 OCaml 中的数据？我正在尝试创建一个单链表，但是我在语法上遇到了问题。我只想制作一个模块来简单地从链接列表中获取'a，插入'a或删除'a。

有人有什么想法吗？

Answer 1

正如轶事所说，ocaml 已经有了列表。

然而，为了您的兴趣，您可以通过以下方式构建自己的列表。显然，您永远不会在真正的应用程序上使用它:)如果您想要一些树，数据结构将非常相似。

exception Empty_list

type 'a my_list = Nil | List of 'a * 'a my_list

let head = function 
     Nil -> raise Empty_list
   | List(e,_) -> e;;

let tail = function
    Nil -> Nil
   | List(_,t) -> t

let l = List(1, List(4, List(8, Nil)));;

print_endline (string_of_int(head l));;

print_endline (string_of_int (head(tail l)));;

Answer 2

OCaml 具有内置列表：

整数列表：
[1;2;3;4;5] ;;
返回： int 列表 = [1; 2； 3； 4]

字符串列表：
[“这个”;“那个”;“其他”];;
返回： 字符串列表 = ["this"; “那”; "other"]

或者您可以使用 cons 运算符 :: 来构建列表：

1::2::3::[];;
返回： int 列表 = [1; 2； 3]

获取列表的头部（第一项）：

List.hd [1;2;3]
返回 1

获取列表的尾部（第一项之后的所有项目）

List.tl [1;2;3]
返回： int 列表 = [2; 3]

此外，您还可以通过查看以下内容来了解​​ OCaml 标准库中列表的实现方式：

[OCaml 的安装位置]/lib/ocaml/std-lib/list.ml

Answer 3

OCaml 不是已经将列表作为原语了吗？我从大学开始就没有做过 SML，但我似乎记得 head 和 tail 原语。我看到其他人已经实现了真正的链表数据结构...查看 Dustin 的 OCaml 链接列表 例如。