A Study on Lisp Compiler Implementation and Some Extensions to It

Abstract

핸더슨의 리스프키트 번역기를 뮤리스프로 IBM PC AT에 구하였다. 그리고 이 편역기를 확장시켜 비결정적 식과 지연성 평가식을 편역할 수 있게 하였으며 else 부분이 없는 IF 식과 3가지의 논리식을 편역할수 있게 하였다. 비결정적 식을 사용할 수 있게 함으로써 명시적으로 되물림을 표현할 때 생기는 여러가지 부자연스러움을 극복할 수 있게 되었으며 지연성 평가식을 이용하여 병열처리 과정을 리스프로 표현할 수 있게 되었다. 또한 else 부분이 없는 IF 식과 논리식을 편역하는 기능을 추가시킴으로써 보다 간결한 리스트 프로그램을 얻을 수 있게 하였다.

A Lisp compiler is implemented in muLISP on IBM PC AT. Its original from is Henderson's LISPKIT complier. It is extended to include delayed evaluation primitives, nondeterministic primitives, and the ability to compile eleseless IF expressions and three logical expression.

With nondeterministic primitives we can avoid the explicit programming of backtracking. Not only functional equivalents of the notion of a coroutine but also functional programs which process infinite structures are expressed with delayed evaluation primitives.

A Lisp compiler is implemented in muLISP on IBM PC AT. Its original from is Henderson's LISPKIT complier. It is extended to include delayed evaluation primitives, nondeterministic primitives, and the ability to compile eleseless IF expressions and three logical expression.

With nondeterministic primitives we can avoid the explicit programming of backtracking. Not only functional equivalents of the notion of a coroutine but also functional programs which process infinite structures are expressed with delayed evaluation primitives.