[논문 리뷰] The Sketch of a Polymorphic Symphony

Ralf Laemmel|ArXiv.org|2002. 04. 08.

Logic, programming, and type systems참고 문헌 23인용 수 6

한 줄 요약

이 논문은 히스컬에서 일급 다형성과 생성자 응용에 대한 일반화된 폴드 조합자로, 균일하고 타입 전용 순회를 통합하는 일관되고 타입 안전하며 고도로 매개변수화된 기능 전략 모델을 제시한다. 주요 기여는 매개변수화, 내성적, 다형적, 특수화된 다형성을 통합하여 복잡한 순회 체계를 세밀한 제어로 표현할 수 있는 통합 프레임워크를 제공하는 것이다.

ABSTRACT

In previous work, we have introduced functional strategies, that is, first-class generic functions that can traverse into terms of any type while mixing uniform and type-specific behaviour. In the present paper, we give a detailed description of one particular Haskell-based model of functional strategies. This model is characterised as follows. Firstly, we employ first-class polymorphism as a form of second-order polymorphism as for the mere types of functional strategies. Secondly, we use an encoding scheme of run-time type case for mixing uniform and type-specific behaviour. Thirdly, we base all traversal on a fundamental combinator for folding over constructor applications. Using this model, we capture common strategic traversal schemes in a highly parameterised style. We study two original forms of parameterisation. Firstly, we design parameters for the specific control-flow, data-flow and traversal characteristics of more concrete traversal schemes. Secondly, we use overloading to postpone commitment to a specific type scheme of traversal. The resulting portfolio of traversal schemes can be regarded as a challenging benchmark for setups for typed generic programming. The way we develop the model and the suite of traversal schemes, it becomes clear that parameterised + typed strategic programming is best viewed as a potent combination of certain bits of parametric, intensional, polytypic, and ad-hoc polymorphism.

연구 동기 및 목표

• 균일하고 타입 전용 순회를 모두 지원하는 통합적이고 간결하며 표현력 있는 기능 전략 모델을 개발하기.
• 유연성이나 표현력을 희생시키지 않으면서 순회 체계에서 정적 타입 안전성을 확보하기.
• 조합자들을 통해 제어 흐름, 데이터 흐름 및 구조적 특성에 대한 깊은 매개변수화를 가능하게 하여 순회 제어를 매개변수화하기.
• 특정 순회 유형 체계에 대한 결정을 연기함으로써 재사용성을 높이는 오버로딩을 지원하기.
• 다양한 순회 체계를 표현함으로써 유형 기반 일반화 프로그래밍의 기준이 되는 벤치마크를 제공하기.

제안 방법

• 타입에 대해 고차원 다형 함수로 기능 전략을 표현하기 위해 일급 다형성을 활용하기.
• 런타임 타입 케이스를 타입 통합 함수(TUs)로 인코딩하여 균일한 행동과 타입 전용 행동를 혼합하기.
• 생성자 응용을 순회하기 위한 기본 폴드 조합자를 정의하여 모든 순회 체계의 기초를 마련하기.
• 특정 타입 체계에 대한 약속 없이 선택 및 특수화 조합자(예: choice, adhoc)를 사용하여 다양한 순회 패턴 간의 재사용 가능성을 높이기.
• MonadPlus를 사용해 성공/실패 의미 체계를 구현한 경로 제약 순회 체계(예: belowlist, abovelist)를 설계하여 조건과 처리기의 조합 가능성을 높이기.
• 처리기의 목적에 대한 사전 약속 없이도 변환, 분석, 선택을 지원할 수 있도록 순회 유형 체계를 오버로딩하기.

실험 결과

연구 질문

• RQ1 기능 전략을 어떻게 모델링할 수 있을까? 이는 매개변수화, 내성적, 다형적, 특수화된 다형성을 통합할 수 있도록 해야 한다.
• RQ2 생성자 응용에 대한 단일한 일반화된 폴드 조합자가 복잡한 기초 순회 조합자 집합을 대체할 수 있는가?
• RQ3 순회 체계를 데이터 외에도 제어 흐름과 순회 특성에 대해 매개변수화할 수 있는가?
• RQ4 오버로딩은 특정 순회 유형 체계에 대한 결정을 언제까지 연기할 수 있는가?
• RQ5 임의의 재귀적 데이터 유형에 대해 영향력 있고 조합 가능한 순회를 허용하면서도 정적 타입 안전성을 얼마나 유지할 수 있는가?

주요 결과

• 제안된 모델은 생성자 응용에 대한 단일한 일반화된 폴드로 기초 순회 조합자들의 개방형 목록이 필요로 하는 것을 줄여주며, 이를 대체한다.
• 전략의 타입 체계가 단일 타입 생성자로 통합되어, 선택 및 특수화 조합자들을 타입 체계에 대한 약속 없이 사용할 수 있다.
• 경로 제약 순회 체계인 belowlist는 예시에서의 맹점 문제를 성공적으로 해결하여 깊이 중첩된 SortB 항목에서 42를 정확히 추출한다.
• 예외 처리를 위한 MonadPlus를 사용함으로써 경로 제약 조건 내 성공/실패를 간결하고 타입 안전하게 표현할 수 있었으며, 복잡한 경로 탐색 논리를 가능하게 하였다.
• 이 프레임워크는 조합자들을 통해 구성하고 전환할 수 있는 풍부한 순회 체계 포트폴리오를 지원하며, 순회 순서와 행동에 대한 세밀한 제어를 가능하게 하였다.
• 이 모델은 유형 기반, 매개변수화된 전략 프로그래밍이 매개변수화, 내성적, 다형적, 특수화된 다형성의 상호 보완적 상호작용으로 가장 잘 이해될 수 있음을 보여주었다.