Question

我试图在OCaml中创建一个字典，将字符串映射到字符串列表。我已经引用this教程了解基本字符串到字符串的地图，但我需要一些帮助来制作列表。

以下是我想用Python做的事情：

>>> food = {}
>>> food["fruit"] = ("blueberry", "strawberry", "kiwi")
>>> food["veggie"] = ("broccoli", "kale")
>>> for k in food:
...     for v in food[k]:
...         print k, "-->",v
...
fruit --> blueberry
fruit --> strawberry
fruit --> kiwi
veggie --> broccoli
veggie --> kale

提前致谢

Answer 1

您可以使用列表，

let food = [
  "fruit",  ["blueberry"; "strawberry"; "kiwi"];
  "veggie", ["broccoli"; "kale"]
]

并使用List.assoc来访问它：

List.assoc "fruit" food

将评估为

- : string list = ["blueberry"; "strawberry"; "kiwi"]

如果您需要使用对数搜索的真实地图，则可以使用Map模块。在标准库中，它提供了一个仿函数Make，它将为用户提供的数据创建一个映射，例如，

module Strings = Map.Make(String)

将创建一个模块Strings，它是从string类型到其他任何类型的地图。您可以轻松地使用列表作为值类型：

let map = Strings.empty 
Strings.add "fruit" ["blueberry"; "strawberry"; "kiwi"] map

这当然会创建一个持久的地图。如果你需要一个可变的地图，比如在python中，那么你需要一个Hashtbl模块。

以下是Hashtbl的示例：

let food = Hashtbl.create 16
Hashtbl.add food "fruit" ["blueberry"; "strawberry"; "kiwi"]
Hashtbl.add food "veggie" ["broccoli"; "kale"]
Hashtbl.find food "veggie"

将评估为

- : string list = ["broccoli"; "kale"]

Answer 2

OCaml中的数组和列表不同。我假设您要使用列表（如标题中所示）而不是数组（如问题正文中所示）。

以下是教程中稍微修改过的一些行：

# module myStrings = Map.Make(String);;
module MyStrings :
sig
 . . .
end
# let m0 = MyStrings.empty;;
val m0 : 'a MyStrings.t = <abstr>
# let m1 = MyStrings.add "abc" ["def"; "ghi"] m0;;
val m1 : string list MyStrings.t = <abstr>
# MyStrings.iter
    (fun s ss -> Printf.printf "%s --> %s\n" s (String.concat " " ss))
    m1;;
abc --> def ghi
- : unit = ()

OCaml将字符串映射到字符串列表

2 个答案: