このトークでは、関数型プログラミングで一般的な型クラス、Monad, Functor, Applicative などが圏論の観点からどのように解釈できるかについてお話しします。 また、圏論の枠組みの中で Scala の型システムを説明してみます。 最後に、圏論や圏論に基づいた（Cats や Shapeless のような）ライブラリを使い、一般的な問題を高度に汎用的かつ型安全なやり方で解決する方法を紹介します。
票中 票投票済み