Haskell：如何映射一个函数通过任意单元组元组

Question

是否有可能构造一个函数来映射任意元组单元的元组？

例如，

f :: (m a -> m [a]) -> (m x, m y) -> (m [x], m [y]) 

（但对于任意的元数）。 This similar question，有许多有希望的建议;例如镜头'each或over both，但每个似乎都需要一个同质类型的元组：我想使用具有不同内部类型的同质单子元组。

Answer 1

这是不可能的，你说的方式。

在您的类型签名中，初始函数只能使用m a，但您希望将其传递给m x和m y，因此类型不匹配。

这当然是可能的启用rankNTypes做到这一点：

{-# LANGUAGE rankNTypes #-} 
f :: Monad m => (forall a. m a -> m [a]) -> (m x, m y) -> (m [x], m [y]) 
f fun (x, y) = (fun x, fun y) 

这是因为forall a.括号内迫使它是多态的，而不是只为一个类型a。

---

什么你可能想是这样的：

f :: Monad m => (a -> m b) -> (m a, m a) -> (m b, m b) 

甚至

f :: Monad m => (a -> m c) -> (b -> m d) -> (m a, m b) -> (m c, m d) 

注意，我改变了功能型从m a -> m b到a -> m b，因为这可以让我们序列monadic动作，而不是转换monad，当我们想要操纵它们时更有意义。