Functorについてメモ - Qiita

概要 Functorとは構造内の値に関数を適用できるもので、 Functor: (a -> b) -> f a -> f b である。とはどういうことか。 圏論について 圏論とは、数学的な構造を持った「対象」と、対象間の「射」からなる。 関数 f が Int を引数に取り String を返すとすると、 f: Int -> String と表記できる。この場合、Int, String など（一般的に型と呼ばれるもの）は「対象」であり、 f は「射」である。 a -> b -> c とは HaskellやLISP, OCaml などの関数型言語を考える。関数型は、関数が第一級であり、関数が射であると同時に対象でもある。また、Haskellなどにおいて、関数は、引数（対象）をひとつ取り、返り値を1つ返す。 では、引数を2つ以上取りたい場合はどうするか。具体的には、 f(x, y) = x +

[hamamuratakuo]

Functorとは構造内の値に関数を適用できるもので、Functor: (a -> b) -> f a -> f b。(a -> b) -> f a -> f b とは (a -> b) -> (f a -> f b)。f というのが List であり、Functorは、関数 a -> b を受け取り、構造体の中身に a -> b を適用し、構造体を返す