モナドの基礎を勉強したい! モナドは今や様々な言語でライブラリ化され使われるような身近な存在になりました。 関数型プログラミングの書籍が増え、また勉強会でモナドや圏論について聞く機会が増えたのも象徴的です。 ですが、モナドを使いこなすためには、モナドとは何であるかなどを理解していないと、モナドの恩恵をうけたプログラミングというのは難しい場面も存在します。 そこでモナドの基礎を!! そこでモナドの基礎に関して、発表したりなんだりする勉強会を開催します。 セッション タイトル「圏論の導入、特にモノイダル構造」 @t6s @t6sと@hirataraさんの発表の予備知識を話します。圏の定義から始めます。 タイトル「圏論からみた型の話」@t6s 詳細未定 タイトル「モナモナ言うモナド変換子入門」@hiratara 詳細未定 タイトル「基礎から学ばないFree Monad」@pocketberser