암시적 프로그래밍을 위한 계산 언어의 설계

국문 초록 (Abstract)

많은 프로그래밍 언어들이 암시적 프로그래밍(Implicit programming)을 지원하고 있다. 대표적인 예로 하스켈 타입 클래스와 C++ 템플릿을 들 수 있다. 하지만 많은 유용한 기능들이 초기 설계단계에서 빠져있어 그 한계가 드러나고 있는 상황이다. 일례로 하스켈의 경우 모든 타입 클래스의 인스턴스가 전역 범위로 선언되어야 하고 인스턴스를 값처럼 사용할 수 없다는 한계를 가지고 있다.
본 논문에서는 암시적 프로그래밍을 위한 계산 언어인 λ⇒ 를 제안한다. λ⇒ 계산 언어는 널리 사용되는 암시적 프로그래밍 구현의 핵심을 모두 포섭하면서도 그 구현들에서 발견되는 한계점을 지니지 않는다. 또한 암시적인 인자를 생성하기 위한 규칙이 고차원(higher-order)이 될 수 있으며 규칙들 간의 겹침(overlap)을 허용한다. 논문에서는 λ⇒의 문법과 과정을 드러내는 실행의미(operational semantics) 다형 타입 시스템(polymorphic system)과 그 안전성을 설명한다.

목차 (Table of Contents)

• 요약
• 1. 서론
• 2. λ⇒ 계산 언어의 예제
• 3. 문법 및 실행 의미
• 4. 타입 시스템
• 5. 결론
• 참고문헌