我理解＆lt;＆lt; 撰写运算符需要两个函数，它们都接受并返回相同的类型。例如(lhs:'a -> 'a) -> (rhs:'a -> 'a) -> 'a
我经常发现自己想要(lhs:'a -> 'b) -> (rhs:'c -> 'b) -> 'b之类的东西，如果我对副作用感兴趣而不是返回值＆b; b可能是单位类型。这只是当我连续两行，我将某些内容保存到数据库时。
是否有内置函数或惯用F＃方式，而无需编写类似
的内容let myCompose lhs rhs arg =
lhs arg
rhs arg
答案 0 :(得分：5)
向后合成运算符(<<)定义为：
( << ) : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c`
应用了两个谓词，它实际上是一个函数，其'a的初始值返回'c，而'b的值在内部处理。
从您提供的代码示例中，我假设您需要为两个谓词应用参数。有几种方法可以做到这一点：
放弃（第一个）谓词返回的值，返回原始参数。 WebSharper中存在这样的运算符：
let ( |>! ) x f = f x; x
// Usage:
let ret =
x
|>! f1
|>! f2
|> f3
我喜欢这种方法，因为：
在这种情况下，f必须返回unit，但您可以轻松解决此问题：
let ( |>!! ) x f = ignore(f x); x
将参数应用于两个谓词，返回结果元组，与您自己的示例完全相同。有这样的运营商OCaml，很容易适应F＃：
val (&&&) : ('a -> 'b) -> ('a -> 'c) -> 'a -> 'b * 'c
正如@JackP注意到的，&&&已在F＃中定义用于其他目的，所以让我们使用另一个名称：
/// Applying two functions to the same argument.
let (.&.) f g x = (f x, g x)
// Usage
let ret1, ret2 =
x
|> (f .&. g)
注意以上示例适用于功能应用的直接顺序。如果您需要以相反的顺序应用它们，则需要相应地修改代码。
答案 1 :(得分：4)
backward or reverse composition operator (<<)不接受两个接受并返回相同类型的函数;唯一的限制是要应用的第一个函数的输出类型必须与它所组成的函数的输入类型相同。根据MSDN，函数签名是：
// Signature:
( << ) : ('T2 -> 'T3) -> ('T1 -> 'T2) -> 'T1 -> 'T3
// Usage:
func2 << func1
我不知道内置的合成运算符可以按照您的意愿运行，但是如果这种模式是您在代码中频繁使用的模式并且使用这样的运算符会简化您的代码，我认为定义您的代码是合理的。拥有。例如：
> let (<<!) func2 func1 arg = func1 arg; func2 arg;;
val ( <<! ) : func2:('a -> 'b) -> func1:('a -> unit) -> arg:'a -> 'b
或者，如果您知道这两个函数都将返回unit，您可以这样写它以将输出类型约束为unit：
> let (<<!) func2 func1 arg = func1 arg; func2 arg; ();;
val ( <<! ) : func2:('a -> unit) -> func1:('a -> unit) -> arg:'a -> unit
答案 2 :(得分：3)
要在任意所需顺序中编写任何类型f:'a->unit类型的函数，您只需弃用其列表：< / p>
("whatever",[ printfn "funX: %A"; printfn "funY: %A"; printfn "funZ: %A" ])
||> List.fold (fun arg f -> f arg; arg )
|> ignore
进入FSI
funX: "whatever"
funY: "whatever"
funZ: "whatever"
val it : unit = ()