関数型構造の本質

このトークでは、さまざまな関数型構造の実践的な概要を解説します。これらは強力で、合成可能性の高い純粋関数型の抽象化を可能とします。本セッションの目的は、これらの構造を理解して、実際の計算問題に応用できる見識を得ることです。

一から始めるため、モノイド、ファンクター、アプリカティブファンクター、モナドといった抽象化から解説を始めます。同時に実践的な視点からこれらの構造が、正しさが設計として保証される純粋関数型のプログラムのエンコードにどう役立つのかを見てきます。