English

実世界での圏論

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

トークの長さ
40分
発表言語
英語
聴衆の対象
上級者: 分野に精通している人向けでトークでは入門の話は少なめ
発表者
Anatolii Kmetiuk

票中 票投票済み

応募一覧