다형성 하향식 가중 관계 프로그래밍 (Polymorphic Bottom-Up Weighted Relational Programming)
요약
본 연구는 단형화 과정 없이 하향식 관계 언어를 위한 다형성을 구현하는 새로운 접근 방식을 제안합니다. 새로운 언어인 semiringKanren을 소개하고, 이를 확장하여 다형성을 지원하며, 동등성 패턴과 충분한 인스턴스를 활용해 다형성 프로그램을 비다형성 프로그램으로 컴파일하는 정확한 방법을 제시합니다.
핵심 포인트
- 단형화(monomorphization) 없이 하향식 관계 언어에서 다형성을 구현하는 방법론 제시
- 새로운 하향식 가중 관계 프로그래밍 언어인 semiringKanren 도입
- 동등성 패턴과 충분한 인스턴스를 기반으로 한 다형성 프로그램의 컴파일 방식 설명
- 제시된 컴파일 방법론에 대한 수학적 정확성 증명
본 연구는 단형화 (monomorphization) 없이 하향식 관계 언어 (bottom-up relational languages)를 위한 다형성 (polymorphism)을 구현하는 새로운 접근 방식을 제시합니다. 먼저 하향식 가중 관계 프로그래밍 언어 (bottom-up weighted relational programming language)인 semiringKanren을 소개합니다. 우리는 이 기초 언어를 확장하여 다형성을 지원하도록 합니다. 우리는 동등성 패턴 (equality patterns)과 충분히 큰 다형성 관계 (polymorphic relations)의 인스턴스를 기반으로, 다형성 semiringKanren 프로그램을 비다형성 (non-polymorphic) 프로그램으로 컴파일하는 새로운 방법을 설명합니다. 우리는 이 방법의 정확성 (correctness)을 증명합니다. 마지막으로, 기존 연구를 검토하고 향후 연구 방향을 제안합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.PL (Programming Languages)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기