この記事は公開されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。
はじめに
ちょっと時間が経ちましたが11/21に開催されたDevelopersIO 2022秋 in Sapporo でプログラミング言語における関手について話しました。
資料
内容
ListやOptionが圏論の関手と関連していて、圏論における関手の定義がファンクタ則とどう対応しているのか、代数的データ構造や関数が関手になっている、といった話をしました。
現場からは以上です。
この記事は公開されてから1年以上経過しています。情報が古い可能性がありますので、ご注意ください。
ちょっと時間が経ちましたが11/21に開催されたDevelopersIO 2022秋 in Sapporo でプログラミング言語における関手について話しました。
ListやOptionが圏論の関手と関連していて、圏論における関手の定義がファンクタ則とどう対応しているのか、代数的データ構造や関数が関手になっている、といった話をしました。
現場からは以上です。