有时我有两种形式的函数：
f :: a -> (b1,b2)
h :: b1 -> b2 -> c
我需要组合物 g。我通过将 h 更改为 h' 来解决这个问题：
h' :: (b1,b2) -> c
你能告诉我（如果可能的话）一个函数 m 吗，这样：
(h . m . f) == (h' . f)
或者用另一种方法来处理这种情况。谢谢。
你想要做的是获取一个运行的函数curried论据，h，并将其应用到结果f，这是一个元组。这一过程将两个参数的函数转换为采用一个元组参数的函数，称为非柯里化。我们有，从数据元组 http://hackage.haskell.org/packages/archive/base/4.3.1.0/doc/html/Data-Tuple.html:
curry :: ((a, b) -> c) -> a -> b -> c
-- curry converts an uncurried function to a curried function.
uncurry :: (a -> b -> c) -> (a, b) -> c
-- uncurry converts a curried function to a function on pairs.
所以现在我们可以写：
f :: a -> (b,c)
f = undefined
h :: b -> c -> d
h = undefined
k :: a -> d
k = uncurry h . f
另一个棘手的思考方式是通过应用函子，
k = (h <$> fst <*> snd) . f
Conor McBride 的想法，他将其写为：(|f fst snd|) . f我认为。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
