f# - 这个管道元组运算符是否已经存在*某处？

Question

我知道 (||>)这是(a' * 'b) -> ('a -> b' -> 'c) -> 'c
但我发现这非常有用，并想知道我是否在重新发明轮子:

// ('a * 'a) -> ('a -> 'b) -> ('b * 'b)
let inline (|>>) (a,b) f = (f a, f b)

(*这可能发生，我半小时前才发现 ceil 功能!)

Answer 1

不，它没有。

但是，如果您使用 FParsec，您将经常遇到它的变体。这是 FParsec 文档中的类型签名:

val (|>>): Parser<'a,'u> -> ('a -> 'b) -> Parser<'b,'u>

我认为该库有一组精心设计的运算符，它们也可以推广用于其他目的。可以找到 FParsec 运算符列表 here .

我做了一些挖掘； |>>运营商似乎没有 built-in Haskell counterpart尽管使用 Control.Arrow 很容易定义.