元组函数组合

Question

我很好奇为什么

let f = (fun a b -> a, b) >> obj.Equals

会出现这个错误

没有名为“Equals”的可访问成员或对象构造函数接受 1 个参数

但这有效

let f = (fun a -> a, a) >> obj.Equals

Answer 1

不定义新的组合运算符：

let f = (fun a b -> a, b) >> (<<) obj.Equals

>> (<<) 是一个很好的技巧，也可以扩展为更多参数：

let compose3 f g = f >> (<<) ((<<) g)
val compose3 : ('a -> 'b -> 'c -> 'd) -> ('d -> 'e) -> ('a -> 'b -> 'c -> 'e)

Answer 2

考虑类型。 (>>) 的类型为 ('a -> 'b) ->('b -> 'c) ->; ('a -> 'c)，但您尝试使用 'a ->; 类型的参数调用它('b -> 'a*'b) 和 obj * obj -> bool，它不能像这样组合在一起。

您当然可以定义一个新的组合器来组合二元和一元函数：

let ( >>* ) f g a b = f a b |> g

在这种情况下，您可以在示例中使用它而不是 (>>)。