Developers IO 2022秋 in Sapporoで関手について話しました

はじめに

ちょっと時間が経ちましたが11/21に開催されたDevelopersIO 2022秋 in Sapporo でプログラミング言語における関手について話しました。

資料

スライドにする元気がなかったのでNotionです。

内容

ListやOptionが圏論の関手と関連していて、圏論における関手の定義がファンクタ則とどう対応しているのか、代数的データ構造や関数が関手になっている、といった話をしました。

現場からは以上です。