我遇到了一种情况,我的代码将从使用 Functor
和 Applicative
类似的抽象中受益,但对于类型 (* -> *) -> *
. 定义一个更高级的仿函数可以像_2935073这样完成
class HFunctor f where
hfmap :: (forall x. a x -> b x) -> f a -> f b
但 Applicative
的更高版本有点棘手 . 这是我能想到的最好的:
class HFunctor f => HApplicative f where
hpure :: (forall x. a x) -> f a
(<**>) :: f (a :-> b) -> f a -> f b
newtype (:->) a b x = HFunc (a x -> b x)
infixr 5 :->
我们需要 :->
包装器类型才能拥有类型为 * -> *
的函数,但这并不能让我们很好地链接函数应用程序,就像我们可以使用 <$>
和 <*>
来处理普通的Applicatives . 我可以用帮手来管理
liftHA2 :: HApplicative f => (forall x. a x -> b x -> c x) -> f a -> f b -> f c
liftHA2 f fa fb = hpure (fun2 f) <**> fa <**> fb where
fun2 = HFunc . (HFunc .)
但是有一个通用的方法可以“解除”任何arity的功能 .
一些简单的例子如何使用上述实例:
data Example f = Example (f Int) (f String)
instance HFunctor Example where
hfmap f (Example i s) = Example (f i) (f s)
instance HApplicative Example where
hpure a = Example a a
Example (HFunc fi) (HFunc fs) <**> Example i s = Example (fi i) (fs s)
e :: Example []
e = Example [1,2,3] ["foo", "bar"]
e' :: Example ((,) Int)
e' = hfmap (length &&& head) e -- Example (3,1) (2, "foo")
e'' :: Example []
e'' = liftHA2 (++) e e -- Example [1,2,3,1,2,3] ["foo", "bar", "foo", "bar"]
所以,我的问题是:上面提到的类型类是什么,它们是否已经被一些库中的hackage提供了?通过谷歌搜索,我在linear-maps中找到了 Functor2
,在multi-rec中找到了 HFunctor
,但这两者都不是我需要的 .
另外,是否有一些方法可以在没有 :->
包装器的情况下编写 HApplicative
或其他一些方法来使函数提升更容易?
1 回答
我倾向于想到的HFunctor是
(* -> *) -> * -> *
- 即仿函数的合法函子 . 这与你想到的不同 .以下是如何定义它,以及应用程序的“monoidal”版本 .
我稍后会尝试更新一些关于这是什么以及如何使用它的想法 .
我意识到,这并不是你所要求的,但我的灵感来自你的帖子 .
我也对你的具体用例感兴趣 .
关于你的两个具体问题A)你所描述的HFunctor之前已经在不同场合进行了描述,我特别想到Gibbons,但我不知道它是否打包过 . 我当然没有见过申请人 . B)我认为你坚持使用包装器,因为我们不能部分应用类型同义词 .