Haskell 中带有元组参数的函数组合

Question

有时我有两个形式的函数：

f :: a -> (b1,b2)
h :: b1 -> b2 -> c

并且我需要组合 g。我通过将 h 更改为 h' 来解决这个问题：

h' :: (b1,b2) -> c

您能否向我展示（如果可能的话）一个函数 m，以便：

(h . m . f) == (h' . f)

或处理此类情况的另一种方法。谢谢。

Answer 1

您要做的就是获取一个对柯里化参数h进行操作的函数，并将其应用于f的结果，这是一个元组。这一将两个参数的函数转换为采用一个元组参数的函数的过程称为“uncurrying”。我们有来自 Data.Tuple：

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 <
gt; fst <*> snd) . f

来自 Conor McBride 的 Idea，他将其写为： (|f fst snd|) 。我认为。

Answer 2

你想要做的是uncurry h。这个函数需要a ->; b-> c 并将其转换为 (a, b) -> c.

uncurry h . f