Category c, Category d) => Functor c d t where我从那个网站上读到,Haskell前奏曲中的函子类型实际上是一个内函子如果Haskell使用的是实数函子而不仅仅是内函子,它会更适合元编程吗?Js String lam :: String -> Js b -> Js</em
在ghci中,有些人在玩弄函子和单子,这给我带来了一种价值,我想更好地理解它的类型和行为。ghci的8.2.2版本允许定义h = join . (flip fmap)。
为什么h有((A -> B) -> A) -> (A -> B) -> B类型?特别是,为什么函子和单一约束会消失呢?这真的是正确和预期的行为吗?