2021-03-17から1日間の記事一覧
それぞれの関係性を意識しながら、今の理解をまとめてみました。 ファンクター ファンクターとは、関数で写せる値を表す便利な概念のことです。 ファンクターに所属する型は、「a -> b型の関数と、f aというデータ型をとって、f bというデータ型を返す」とい…
それぞれの関係性を意識しながら、今の理解をまとめてみました。 ファンクター ファンクターとは、関数で写せる値を表す便利な概念のことです。 ファンクターに所属する型は、「a -> b型の関数と、f aというデータ型をとって、f bというデータ型を返す」とい…