list - F# 中没有 cons 运算符或 curried cons 函数?
问题描述
我们可以在 F# 中编写3 + 4
or(+) 3 4
并获得相同的结果,这适用于大多数运算符。
为什么 cons 运算符的::
行为不同?例如,如果我跑
(::) 1 [2;3]
我明白了
error FS0010: Unexpected symbol '::' in expression
而我想得到 [1;2;3]。
在相关的说明中,为什么List.Cons
不咖喱?没有内置的 cons 函数类型'T -> 'T list -> 'T list
吗?
解决方案
实际上 (::) 不是运算符。这是一个工会案件。至少 F# 的创建者是这样定义它的:
type List<'T> =
| ([]) : 'T list
| (::) : Head: 'T * Tail: 'T list -> 'T list
and 'T list = List<'T>
这是有道理的:一个列表可以是空的,也可以是有头有尾的。
关于List.Cons
我同意,它应该有签名'T->'T list ->'T list
而不是'T*'T List->'T list
.