[論文レビュー] Profunctor Optics, a Categorical Update

Bryce Clarke, Derek Elkins+5 more|arXiv (Cornell University)|Jan 21, 2020

Advanced Database Systems and Queries被引用数 12

ひとこと要約

この論文は、V-圏理論とタマバラモジュールを用いて、プロファンクター光学を混合および豊密化された設定へ一般化し、異なる圏間での光学のモジュラー合成を可能にする。新しいコエンダ計算に基づくトレーバーサルの導出を導入し、Haskellによる実装によって検証されている。

ABSTRACT

Optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. Profunctor optics are a particular choice of representation supporting modularity, meaning that we can construct accessors for complex structures by combining simpler ones. Profunctor optics have previously been studied only in an unenriched and non-mixed setting, in which both directions of access are modelled in the same category. However, functional programming languages are arguably better described by enriched categories; and we have found that some structures in the literature are actually mixed optics, with access directions modelled in different categories. Our work generalizes a classic result by Pastro and Street on Tambara theory and uses it to describe mixed V-enriched profunctor optics and to endow them with V-category structure. We provide some original families of optics and derivations, including an elementary one for traversals. Finally, we discuss a Haskell implementation.

研究の動機と目的

• 未豊密化かつ非混合な設定に限られていたプロファンクター光学を、混合およびV-豊密化された圏へ拡張すること。
• リッジ、プリズム、トレーバーサルといった多様なアクセスパターンを統一するカテゴリー的基盤を提供すること。
• 異種の光学（例：リッジ＋プリズム）の合成を、統一されたプロファンクター表現を用いて形式化すること。
• コエンダ計算に基づく新しい光学族の導出、特にコエンダ計算による素朴なトレーバーサル構成。
• Haskellのような関数型言語における実用的実装を可能にする豊密化されたプロファンクター光学を通じての実装支援。

提案手法

• PastroとStreetのタマバラ理論を、コエンダ計算を用いて混合V-豊密化プロファンクター光学へ一般化する。
• V-圏上でのタマバラモジュール構造を備えたプロファンクターとして光学をモデル化し、異なる圏間での合成を可能にする。
• 複雑な圏論的道具を回避するため、コエンダ計算を用いたトレーバーサルの新しい導出を導入する。
• 混合プロファンクター光学の圏にV-圏構造を導入し、豊密化された合成を可能にする。
• Yonedaの補題とプロファンクター表現を用いて、光学を多相関数として符号化する。
• 豊密化されたプロファンクター光学フレームワークに基づく動作するHaskell実装を提供する。

実験結果

リサーチクエスチョン

• RQ1 分解と再構成の方向が異なる圏に存在する混合設定において、プロファンクター光学をどのように一般化できるか？
• RQ2 リッジやプリズムのような異種の光学のモジュラー合成を支えるカテゴリー的構造は何か？
• RQ3 コエンダ計算をどのように用いることで、原理的かつ素朴な方法でトレーバーサルを導出できるか？
• RQ4 混合プロファンクター光学の圏にどのような豊密化された圏構造を導入できるか？
• RQ5 このフレームワークをHaskellのような実用的な関数型プログラミング言語でどのように実装できるか？

主な発見

• 本論文は、未豊密化かつ非混合な圏に限られていた先行研究を拡張し、混合V-豊密化設定におけるプロファンクター光学の一般化に成功した。
• コエンダ計算に基づく、より洗練され、原理的である新しいトレーバーサルの導出が得られ、従来の手法よりも洗練された構成が可能になった。
• 混合プロファンクター光学の圏にV-圏構造が導入され、豊密化された合成が可能になり、モularityが形式化された。
• 統一されたプロファンクター表現を介して、異種の光学（例：リッジ＋プリズム）の合成が可能となり、モジュラーなデータアクセスが実現された。
• 動作するHaskell実装が提供され、豊密化および混合プロファンクター光学モデルの実用的妥当性が実証された。