haskell - 强壮的和封闭的专家的一般化

我当时正在研究强壮的和封闭的专业人士:

class Profunctor p where
    dimap :: (a' -> a) -> (b -> b') -> p a b -> p a' b'
class Profunctor p => Strong p where
    strong :: p a b -> p (c, a) (c, b)
class Profunctor p => Closed p where
    closed :: p a b -> p (c -> a) (c -> b)

((,)是一个对称bifunctor，因此它等效于“profunctors”包中的定义。)

我注意到(->) a和(,) a都是endofunctors。看来Strong和Closed具有类似的形式:

class (Functor f, Profunctor p) => C f p where
    c :: p a b -> p (f a) (f b)

确实，如果我们看法律，有些法律也有类似的形式:

strong . strong ≡ dimap unassoc assoc . strong
closed . closed ≡ dimap uncurry curry . closed

lmap (first f) . strong ≡ rmap (first f) . strong
lmap (. f)     . closed ≡ rmap (. f)     . closed

这些都是一般情况下的特例吗？

最佳答案

您可以将Choice添加到列表中。 Strong和Choice(或者笛卡尔和笛卡尔，如Jeremy Gibbons所称的笛卡尔和笛卡尔笛卡尔)都是Tambara模块的示例。我在profunctor optics上的博客文章(跳至“讨论”部分)中以Closed的名称讨论了包括Related的一般模式。

关于haskell - 强壮的和封闭的专家的一般化，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/55132048/