haskell了解fmap

Question

有人可以帮助或提供一些指导，说明如何在后续实现中理解fmap函数。

data Rose a = a :> [Rose a] deriving (Eq, Show) 
instance Functor Rose where 
fmap f (x :> xs) = (f x) :> fmap (fmap f) xs 

tree :: Rose Int 
tree = 1 :> [2:>[]] 

我不明白（FMAP F）的一部分，它为什么又走在递归，但是只需要1个参数。这怎么可能，因为它需要2

第二部分是，我不为什么已了解这不是作品：

fmap f (x :> xs) = (f x) :> fmap f xs 

我希望有人可以给我如何了解一些这方面的方向。

Answer 1

这是因为xs是Rose a的列表。

也许这是更为清晰：

fmap f (x :> xs) = (f x) :> map (fmap f) xs 
          ^^^ 

当然，对于名单，map = fmap。

即：

1. 适用f到x。
2. 为xs，映射功能fmap f在列表xs

Answer 2

欢迎来到咖喱!!现在发生的事情是，你'部分地应用'内部fmap来获得你提供给外部fmap的函数。只有这个嵌套的fmap可以通过Rosetree和[]容器。

注意

fmap :: (a -> b) -> h a -> h b 

所以部分应用类似下面给出一个函数

let g = fmap f :: h a -> hb 

正是这种功能，然后将其输送到其他FMAP

fmap g xs