「関数型言語をもっと使いこなしたい！」マイクロアドの新卒エンジニアがデータサイエンティストの先輩に圏論の初歩を指導してもらった話 - MicroAd Developers Blog

はじめに こんにちは、19新卒バックエンドエンジニアの飛田です。 弊社では、プロダクトの一部にCatsという関数型プログラミングを行うためのライブラリを導入しており、今後、Catsをより多くのプロダクトに使用していく予定です。 Catsにはモナドやファンクタという概念が登場しますが、これらの概念は圏論に由来しています。圏論を勉強することで、Catsで登場する諸概念をより深く理解することができると考え、今回、圏論の初歩の内容を自分でまとめてみることにしました。 なお、マイクロアドの優秀なデータサイエンティストであり、数学や物理に大変に詳しいT先輩（アイコンがおふとん）にレビューを依頼することにしました。 slackのアイコンがおふとんのT先輩 レビューをしてもらった結果 まとめた内容の初稿をT先輩にレビューをしていただいたところ、以下の通りものすごい量のツッコミを食らってしまいました。 レビ

[nakamoto_tatsuya]

なんかごめん

[chess-news]

これは、圏の中での話で、圏と圏の関係性の話が次に出てくるんだっけ？

[hamamuratakuo]

関数型プログラミングの基礎知識 → (1)ラムダ計算、(2)圏論

[hevohevo]

前半はとてもわかりやすい。でも「前順序の圏」で「前順序」の詳しい説明をしないと初学者には意味不明かも。あと誤植。“h∘(g∘h)=(h∘g)∘f”

[tattyu]

凄い！わかりやすい！と思ったけど恒等律らへんから良くわからなくなっていった。

[cruller]

なるほど

[mmotoi0]

"※チャットのやり取りは一部フィクションです" マイルドに修正？

[programmablekinoko]

ええな

[k_osawa]

圏論は難しい