'选项列表'和'列表之间的OCaml差异

Question

在OCaml顶层中输入此函数时，我得到了以下结果。输入看起来与我两次完全相同，除了围绕着::运算符的空白外。任何人都可以在这里解释'a option list和'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> 

在我看来，您的实验在某些方面是有缺陷的。围绕::的间距不会有任何区别。