구문 규칙과 call/cc의 반복된 적용을 사용한 정규 순서 직접 스타일 베타 평가기
2025-09-17
이 논문은 위생적인 Scheme 매크로 내에서 call/cc의 덜 알려진 응용 프로그램, 특히 지루한 람다 계산을 돕는 데 사용하는 방법을 탐구합니다. 저자는 구문 규칙과 call/cc의 반복된 응용 프로그램을 교묘하게 결합한 정규 순서 직접 스타일 베타 정규화기를 제시하고, CPS 변환과 독창적인 직접 스타일 람다 계산기를 사용하여 그 정확성을 증명합니다. 이 논문은 또한 구분된 연속에 대해서도 논의하고, 간단한 매크로가 prompt 및 control과 같은 다양한 구분된 연속 연산자를 어떻게 구현할 수 있는지 보여줍니다. call/cc 기반 계승 함수 구현과 구분된 연속에 대한 논의는 이 접근 방식의 우아함과 실용성을 강조합니다.
더 보기
개발