Category c, Category d) => Functor c d t where我从那个网站上读到,Haskell前奏曲中的函子类型实际上是一个内函子如果Haskell使用的是实数函子而不仅仅是内函子,它会更适合元编程吗?Js b -> Js b
ap :: JsFunc a b -> Js a -> Js</em
我对Haskell比较陌生,很难理解双函子的效用。我想我从理论上理解了它们:例如,如果我想要映射一个抽象多个具体类型的类型,例如,或者可能,我需要将它们封装在一个双函子中。但一方面,这些例子似乎是特别人为的,另一方面,似乎你可以通过简单的合成来实现同样的功能。unfold' :: Bifunctor s => (b -> s a b) -> b -> Fix s a我理解其要点是组合映