了解（可遍历产品）类型

Question

鉴于fp-course的以下内容：

data Product f g a =
  Product (f a) (g a)

class Functor f where
  -- Pronounced, eff-map.
  (<$>) ::
    (a -> b)
    -> f a
    -> f b

class Functor f => Applicative f where
  pure ::
    a -> f a
  (<*>) ::
    f (a -> b)
    -> f a
    -> f b

我试图为Product f g a 定义Traversable 实例：

instance (Traversable f, Traversable g) =>
  Traversable (Product f g) where
  traverse :: 
    Applicative h =>
    (a -> h b)
    -> Product f g a
    -> h (Product f g b)  
  traverse fn (Product fa ga) = Product (traverse fn fa) (traverse fn ga)

编译器显示错误：

src/Course/Traversable.hs:106:33: error:
    • Occurs check: cannot construct the infinite type: h ~ Product h h
      Expected type: h (Product f g b)
        Actual type: Product h h (f b)

我明白我的定义是怎么错的，但我不明白实际的类型是Product h h (f b)。

拆开Product (traverse fn fa) (traverse fn ga)的类型，我相信是：

Product (h (f b)) (h (g b))

因为traverse的签名是Applicative f => (a -> f b) -> t a -> f (t b)。

g 根据Product h h (f b) 的实际类型去哪里？请解释一下上面的实际类型。

Answer 1

是的。你有

traverse :: (a -> h b) -> f a -> h (f b)
traverse    fn            fa  :: h (f b)   -- and,

traverse :: (a -> h b) -> g a -> h (g b)
traverse    fn            ga  :: h (g b)

因此

Product (traverse fn fa)  (traverse fn ga) :: Product h h (f b)
        (h        (f b))  (h        (g b))

强制等效 f b ~ g b 即 f ~ g， 因为 Product p q t 被定义为

Product (p        t    )  (q        t    )
------------------------------------------
       p ~ h   t ~ f b    q ~ h    t ~ g b

因此，显然将Product 应用于两个traverse 结果并没有成功。

但是这两个有h (f b)和h (g b)类型，而h是一个Applicative，我们试图用组合类型创建一个h (Product f g b)类型的结果在h 的内部，所以如果我们能有的话

         h (f b)           h (g b)              h r              h s
        ---------------------------            ----------------------
         h (Combined  (f b)  (g b))             h (Combined   r    s)

事实上，由于两个bs 是相同的，

        ---------------------------
         h (Combined   f      g b )

所以从foo :: r -> s -> t我们想要得到bar :: h r -> h s -> h t...如果只有such a function ...

baz :: (Applicative h) => (r -> s -> t) -> (h r -> h s -> h t)

...所以答案是liftA2 Product (traverse fn fa) (traverse fn ga)，将数据构造函数Product 应用于两个遍历的内部结果“in”（“inside” , "under the cover of") 应用：

         h r       h s
           r   ->    s   ->   t
        ------------------------
         h                    t