2008-02-20から1日間の記事一覧
4.3 Functors in Haskell List やMaybeがFunctorになるという話。Fがfunctorのとき、objectsからobjectsへのmapをFo、 morphismsからmorphismsへのmapをFmとする。 unaryであるType Constructor Ft、つまり(List a)とか(Maybe a)のように (* -> *)になってる…
4.3 Functors in Haskell List やMaybeがFunctorになるという話。Fがfunctorのとき、objectsからobjectsへのmapをFo、 morphismsからmorphismsへのmapをFmとする。 unaryであるType Constructor Ft、つまり(List a)とか(Maybe a)のように (* -> *)になってる…