Lens（と、その他のOptics)の紹介

不変なデータ構造には多くの利点がありますが、アクセスしたり変更したりするのは面倒でボイラープレートだらけになる可能性があります。抽象化の仲間として知られるopticsは、この問題に対する一つの解決策です。

この講演では、代数的データ型(ADT)からはじまり、opticsを優しく紹介します。これら二つは、非常に密接な関係にあるのです。

opticsが、どのようにしてADTのインターフェースを不変なデータ構造へ追加するのか、そしてどのようにして先の問題の解決策となるのかを見ていきます。