やっと群論初歩が頭に入ってきたと思ったら…
#今日の圏論
— 結城浩 (@hyuki) 2018年9月1日
昨日、行列の圏の例を読んでいて、プログラミングの型システムを論じるときに圏論の言葉が役にたつかもしれないと思いました(すでにたくさんなされていると想像)。
Haskell、はじめました。
— 毛糸 (@keito_oz) 2020年12月21日
俄に脚光を浴びる数学の分野「圏論」。異なるものの間の同じさを扱う数学、とも称される圏論と、プログラミング言語Haskellは、密接な関係があるらしい。
『入門Haskellプログラミング』 はHaskellの基礎から関数型プログラミングを学べる技術書。https://t.co/GzM6N55T9X
本当に「そこからは終わりがない」世界…