types - 如何在 ocaml 中为这种类型的列表定义新类型和类型？

Question

我是 ocaml 的新手，并且已经定义了一个类型。

type options =
  | Rock
  | Paper
  | Scissors

我还想定义一个选项列表。这就是我尝试的方式

type opts = list options;

当我尝试将选项的文字列表传递给函数时，Merlin 给了我这个错误

有任何想法吗？顺便说一句，尽管我认为这并不重要，但我正在专门使用 ReasonML。

这是翻译回 ocaml 的整个函数。

let compGuess () =
  let rec aux opts k =
    match opts with
    | [] -> [Rock]
    | x::[] -> x
    | h::t -> (match k = 1 with | true  -> h | false  -> aux t (k - 1)) in
  aux [Rock; Paper; Scissors] ((Random.int 3) + 1)

Answer 1

您的类型问题如下所示。match 的第一个选择返回 type 的东西opts。因此，第二种选择也必须返回一些 type opts。这意味着x输入的头部是 类型opts。这意味着输入是一个选项列表。换句话说，您的函数应该采用选项列表。但是你传递了一个选项列表。