モナドはブリトーの圏における単なるモノイドである

TechBrunchの関数型プログラミング版が開催されます。ソフトウェアの数学的基礎に魅力を感じる人々のための、少人数でリラックスしたブランチの集まりです。圏論や関数型パラダイム — モノイド、ファンクタ、アプリカティブ、モナド — と、それらの抽象が実際のコードベースでどう現れるかについて語り合います。 参加者は意図的に多分野にまたがります。Clojure、Haskell、OCaml、Scalaを扱う開発者に加え、研究や実務で圏論を使う数学者やCS関係者も集まります。構造化されたトークというより、代数、グラフ理論、集合論、トポロジーへの脱線も歓迎する雰囲気です。 集合場所は飯田橋近くのホテルメトロポリタンエドモント東京内のレストラン「Beltempo」。グループが場所を移動する可能性があるためRSVPが重要です。初参加で確認済みの方は食事が無料になります。