MIT 18.S097: Programming with Categories

Summary: In this course we explain how category theory—a branch of mathematics known for its ability to organize the key abstractions that structure much of the mathematical universe—has become useful for writing elegant and maintainable code. In particular, we'll use examples from the Haskell programming language to motivate category-theoretic constructs, and then explain these constructs from a

[barlog]

特に、Haskellプログラミング言語の例を使用してカテゴリー理論の構成要素に動機を与え、これらの構成要素をより抽象的で包括的な観点から説明します。