有排名为N的镜头吗？

Question

假设我有一个简单的GADT。

data Expr a where
  Int' :: Integer -> Expr Int
  Fun :: Text -> Expr a
  (:*) :: Expr (a -> b) -> Expr a -> Expr b

现在，我可以对其定义以下遍历方式：

transform :: Applicative f => (forall b. Expr b -> f (Expr b)) -> Expr a -> f (Expr a)
transform f (a :* b) = (:*) <$> transform f a <*> transform f b
transform f v = f v

这个类型看起来非常像镜头中的Traversal。 但是并不完全相同，它的级别更高。

我仍然可以定义“传统”的set和over。 view更加复杂，有一些需要避免的障碍（包括无法确定的类型），但是可行。

这种构造有一个名称吗？ 它是否得到现有的镜头库支持或研究？

- grepcake

Answer 1

这不是一个答案，只是一些相关的指针：

• 你的transform函数似乎也是从rank2classes中遍历traverse的一个例子。
• 我发现如果该函数还能获得子表达式类型的证明，那么它会更有用，结果就是hypertypes的htraverse。

- yairchu