为何[1] :: [1]报错但[1] :: [1] :: []可正常运行？

OCaml 中的 ::（cons 运算符）用于将单个元素添加到列表头部，它的类型签名是 'a -> 'a list -> 'a list，核心规则是：

• 左侧必须是一个类型为 'a 的元素
• 右侧必须是由 'a 类型元素组成的列表
• 运算结果是新的 'a 类型元素列表

第一种情况：[1] :: [1] #

执行此代码时会触发类型错误：

Error: This expression has type int but an expression was expected of type int list

原因：

• 左侧的 [1] 是 int list（整数列表）类型
• 右侧的 [1] 是 int list（元素类型为 int 的列表）类型

根据 :: 的要求，右侧列表的元素类型必须与左侧元素类型一致。但此处左侧是 int list，右侧列表的元素却是 int，类型完全不兼容——你无法将一个整数列表作为元素，添加到普通整数列表中。

第二种情况：[1] :: [1] :: [] #

由于 :: 是右结合运算符，这个表达式等价于 [1] :: ([1] :: [])：

1. 先计算 [1] :: []：左侧是 int list，右侧空列表 [] 会被推导为 int list list（整数列表的列表），结果为 [[1]]
2. 再计算 [1] :: [[1]]：左侧 int list 与右侧列表的元素类型完全匹配，最终得到 [[1]; [1]]

本质差异在于：第一种情况的右侧是普通整数列表，无法容纳整数列表作为元素；第二种情况通过嵌套 :: []，将右侧构造为了整数列表的列表，从而允许添加新的整数列表元素。

内容的提问来源于stack exchange，提问作者Suharick