[논문 리뷰] Design Patterns for Functional Strategic Programming

Ralf Laemmel, Joost Visser|ArXiv.org|2002. 04. 09.

Software Engineering Research참고 문헌 15인용 수 9

한 줄 요약

이 논문은 추상 구문 트리 위에서 유형-지네릭, 순회 가능, 확장 가능한 변환을 가능하게 하는 일等 함수 전략을 기반으로 하는 기능적 전략 프로그래밍이라는 일반화된 프로그래밍 패러다임을 위한 설계 패턴 세트를 소개한다. 저자들은 기능적 언어에서 재사용 가능하고 모듈화되며 조합 가능한 전략 프로그램을 설계하는 데 도움이 되는 조합자와 패턴의 라이브러리를 제시한다.

ABSTRACT

In previous work, we introduced the fundamentals and a supporting combinator library for \emph{strategic programming}. This an idiom for generic programming based on the notion of a \emph{functional strategy}: a first-class generic function that cannot only be applied to terms of any type, but which also allows generic traversal into subterms and can be customized with type-specific behaviour. This paper seeks to provide practicing functional programmers with pragmatic guidance in crafting their own strategic programs. We present the fundamentals and the support from a user's perspective, and we initiate a catalogue of \emph{strategy design patterns}. These design patterns aim at consolidating strategic programming expertise in accessible form.

연구 동기 및 목표

• 기능적 전략을 일급 함수로 사용하여 전략 프로그램을 설계하고 구성하는 데 기능적 프로그래머에게 실용적인 지침을 제공하기 위해.
• 체계적인 패턴 기반 접근 방식을 통해 기능 프로그래밍에서 복잡하고 재사용 가능한 일반화된 변환을 조직하는 데 도전 과제를 해결하기 위해.
• 일반적인 프로그래밍 작업을 위한 접근 가능하고 재사용 가능한 설계 패턴의 카탈로그로 전략 프로그래밍 전문 지식을 통합하기 위해.
• 이론적 기초와 실무 소프트웨어 개발 간 격차를 메우기 위해 실제 적용 가능성을 보여줌으로써 전략 프로그래밍의 이론적 기초와 실무 개발을 연결하기 위해.

제안 방법

• 일급 함수 전략을 도입하여 하위항목을 순회하고 유형별로 행동을 나타내는 일반화된 함수로 기능한다.
• 모듈적으로 전략을 조합하기 위해 'topdown', 'adhoc', 'identity'와 같은 고계 조합자를 사용한다.
• 순회 제어 및 변환 조합과 같은 일반적인 전략 프로그래밍 관용구를 캡슐화하는 설계 패턴 세트를 정의한다.
• 특히 히스켈의 변종을 사용하여 전략 조합자와 패턴을 구현하고 예제로 제시한다.
• 예를 들어 중첩된 데이터 구조에서 정수를 증가시키는 것과 같은 구체적인 예제에 패턴을 적용하여 정확성과 재사용 가능성을 입증한다.
• 순회, 맞춤 설정, 조합이라는 핵심 고려사항을 중심으로 패턴을 구성하여 안전하고 모듈화된 프로그램 구축을 가능하게 한다.

실험 결과

연구 질문

• RQ1 기능적 전략은 일반화된 프로그래밍 작업에서 체계적으로 어떻게 조합하고 재사용할 수 있는가?
• RQ2 전략 프로그램에서 반복되는 구조적 패턴은 무엇이며, 이를 재사용 가능한 설계 패턴으로 일반화할 수 있는가?
• RQ3 일급 전략은 어떻게 모듈화되고 조합 가능한 방식으로 일반화와 유형별 행동을 동시에 지원할 수 있는가?
• RQ4 기능적 프로그래머가 실제 코드베이스에서 전략 프로그래밍을 효과적으로 적용하기 위해 필요한 실용적 지침은 무엇인가?
• RQ5 제안된 설계 패턴은 일반화된 변환의 유지보수성과 재사용성에 어떻게 기여하는가?

주요 결과

• 저자들은 전략 프로그래밍을 위한 재사용 가능한 설계 패턴 세트를 성공적으로 식별하고 형식화하여 모듈화되고 유지보수가 가능한 코드 구축을 가능하게 했다.
• 일급 기능적 전략의 사용은 이질적인 데이터 유형 간에 투명하게 순회하면서도 유형별 행동을 지원한다.
• 'topdown'과 'adhoc'와 같은 조합자는 순회 순서와 디스패치에 대한 민첩한 제어를 가능하게 하여 표현력을 향상시킨다.
• 패턴 카탈로그는 전략 프로그래밍이 중첩된 구조에서 정수를 증가시키는 것과 같은 실제 변환 문제에 대해 체계적으로 적용될 수 있음을 입증한다.
• 이 접근 방식은 타입 안정성과 확장 가능성을 동시에 확보한 일반화된 변환을 가능하게 하여 반복 코드를 줄이고 코드 재사용을 증가시킨다.
• 실제 예제를 통한 시연을 통해 패턴이 실무에서 효과적임이 입증되었으며, 이는 더 큰 규모의 일반화된 프로그래밍 작업에서의 유용성을 시사한다.