有时我有两种形式的函数:
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(使用前将#替换为@)