타입 체커 설계를 위한 계산적 접근 방식
2025-03-18
본 논문에서는 타입 체커 설계를 위한 계산적 접근 방식을 제시하고, 등식 추론을 사용하여 동작 사양에서 타입 체커를 도출하는 방법을 보여줍니다. 저자들은 fold fusion을 기반으로 하는 대수적 접근 방식을 사용하여 계산을 간소화하고, 제약 기반 접근 방식을 사용하여 fusion 전제 조건을 해결하고 구성하여 더욱 개선합니다. 이 방법론은 간단한 표현식 언어, 예외를 지원하는 언어, 람다 계산 버전 등 복잡성이 증가하는 세 가지 예를 사용하여 설명됩니다.
더 보기
(bahr.io)
개발