[논문 리뷰] Profunctor Optics, a Categorical Update

Bryce Clarke, Derek Elkins외 5명|arXiv (Cornell University)|2020. 01. 21.

Advanced Database Systems and Queries인용 수 12

한 줄 요약

이 논문은 V-카테고리 이론과 탐바라 모듈을 사용하여 프로파인추어 옵티컬을 혼합 및 강화된 설정으로 일반화하며, 서로 다른 카테고리 간의 옵티컬을 모듈러하게 조합할 수 있도록 한다. 새로운 코엔드 미적분 기반 유도를 통한 트래버스럴의 통합 프레임워크를 도입하였으며, 하스켈 구현을 통해 검증되었다.

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-강화된 카테고리에서 프로파인추어 옵티컬을 확장하는 것.
• 렌즈, 프리즘, 트래버스럴과 같은 다양한 액세스 패턴을 통합하는 카테고리적 기반을 제공하는 것.
• 다양한 옵티컬(예: 렌즈 + 프리즘)의 조합을 통일된 프로파인추어 표현을 사용하여 형식화하는 것.
• 코엔드 미적분을 통한 새로운 옵티컬 가족, 특히 기초적인 트래버스럴 구성법을 도출하는 것.
• 하스켈과 같은 기능적 프로그래밍 언어에서의 실용적 구현을 가능하게 하기 위해 강화된 프로파인추어 옵티컬을 제공하는 것.

제안 방법

• 코엔드 미적분을 사용하여 파스트로와 스트리트의 탐바라 이론을 혼합 V-강화된 프로파인추어 옵티컬로 일반화한다.
• V-카테고리 위에서 탐바라 모듈의 구조를 갖춘 프로파인추어로 옵티컬을 모델링하여 서로 다른 카테고리 간의 조합을 가능하게 한다.
• 복잡한 카테고리 이론 장비를 피하는 코엔드 미적분 기반의 트래버스럴 신규 유도를 도입한다.
• 혼합 프로파인추어 옵티컬의 카테고리에 V-카테고리 구조를 부여하여 강화된 조합을 지원한다.
• 요나다의 보조정리와 프로파인추어 표현을 사용하여 옵티컬을 다형 함수로 표현한다.
• 강화된 프로파인추어 옵티컬 프레임워크를 기반으로 작동하는 하스켈 구현을 제공한다.

실험 결과

연구 질문

• RQ1 분해 및 재구성 방향이 서로 다른 카테고리에 존재하는 혼합 설정에서 프로파인추어 옵티컬을 어떻게 일반화할 수 있는가?
• RQ2 렌즈와 프리즘과 같은 이질적 옵티컬의 모듈러한 조합을 지원하는 카테고리적 구조는 무엇인가?
• RQ3 코엔드 미적분을 어떻게 사용하여 원칙적이고 기초적인 방식으로 트래버스럴을 도출할 수 있는가?
• RQ4 혼합 프로파인추어 옵티컬의 카테고리에 어떤 강화된 카테고리 구조를 부여할 수 있는가?
• RQ5 이 프레임워크는 하스켈과 같은 실용적인 기능적 프로그래밍 언어에서 어떻게 구현될 수 있는가?

주요 결과

• 논문은 기존에 비강화되고 혼합되지 않은 카테고리에 국한된 연구를 넘어서, 혼합 V-강화된 설정으로 프로파인추어 옵티컬을 성공적으로 일반화하였다.
• 코엔드 미적분을 사용한 트래버스럴의 새로운 기초적 유도를 제공하여 이전 접근 방식보다 더 깔끔하고 원칙적인 구성법을 제공한다.
• 혼합 프로파인추어 옵티컬의 카테고리에 V-카테고리 구조를 부여하여 강화된 조합을 가능하게 하고 모듈러성을 형식화하였다.
• 통일된 프로파인추어 표현을 통해 이질적 옵티컬(예: 렌즈 + 프리즘)의 조합을 지원하여 모듈러한 데이터 액세스를 가능하게 하였다.
• 강화된 프로파인추어 옵티컬 모델의 실용적 타당성을 입증하기 위해 작동하는 하스켈 구현을 제공하였다.