“選項列表”和“列表”之間的OCaml區別

Question

在OCaml頂層輸入此函數時，我得到以下結果。 輸入似乎與我相同，除了::運算符周圍的空白。 誰能解釋'a option list 'a option和'a option之間的區別？

# let rec at i = function
  | [] -> None
  | h::t -> if i = 1 then Some h else at (i-1) t;;
    val at : int -> 'a option list -> 'a option = <fun>
# let rec at i = function
  | [] -> None
  | h :: t -> if i = 1 then Some h else at (i-1) t;;
    val at : int -> 'a list -> 'a option = <fun>

Answer 1

這是我看到的：

$ ocaml
        OCaml version 4.01.0

# let rec at i = function
  | [] -> None
  | h::t -> if i = 1 then Some h else at (i-1) t;;
val at : int -> 'a list -> 'a option = <fun>
# let rec at i = function
  | [] -> None
  | h :: t -> if i = 1 then Some h else at (i-1) t;;
val at : int -> 'a list -> 'a option = <fun>

在我看來，你的實驗在某種程度上是有缺陷的。 圍繞::的間距不會有任何區別。