- 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
983 ：デフォルトの名無しさん[]：2016/02/02(火) 20:19:13.66 ID:qoaDQoLB - instance Functor Tree where
fmap f EmptyTree = EmptyTree
fmap f (Node x left right) = Node (f x) (fmap f left) (fmap f right)
このコードで最初は(f x)なのに、あとの2つは(fmap f left)とfmapが先頭につくのはどうしてですか？
| - 関数型プログラミング言語Haskell Part29 [転載禁止]©2ch.net
985 ：デフォルトの名無しさん[]：2016/02/02(火) 20:44:20.82 ID:qoaDQoLB - >>984
>２．そもそも再帰的定義
>
>「ある木に fmap f した結果は、根にfを適用し、葉の部分木にfmap fした木である」
>
>が理解出来てるか？
すみません、理解できていないです。
なぜ葉は直接fを適用できないのでしょうか？
|
|