haskell - 将作为参数传递的函数应用于 Haskell 中的不同类型

Question

有没有办法将作为参数传递的函数应用于两种不同的类型？作为一个人为的例子，我可以(Maybe Int, Maybe Bool)使用表达式创建一个(Just 3, Just True)，但是如果我尝试使用该函数使这种行为更通用

generic :: (a -> Maybe a) -> (Maybe Int, Maybe Bool)
generic f = (f 3, f True)

这样我就可以做类似generic Just的事情，编译器会抱怨，因为类型变量a是常量。

其用例是将通用函数应用于树结构，其中每个节点都由类型参数化。

score 10 · Accepted Answer

这可以使用 rank-2 多态性来实现，如下所示：

{-# LANGUAGE Rank2Types #-}
generic :: (forall a. a -> Maybe a) -> (Maybe Int, Maybe Bool)
generic f = (f 3, f True)

通常你需要一些类型类限制（不是因为实现generic需要它，而是因为调用者不能传递适用于所有类型的参数），例如

genericNum :: (forall a. Num a => a -> a) -> (Int, Integer)
genericNum f = (f 3, f 9)

1 回答 1