[질문] Lisp은 인터프리터형인가 컴파일러형인가?

김영재의 이미지

요즘에 SICP를 공부하고 있습니다. Scheme(Lisp)를 처음 접하면서 생소하긴 한데 그렇기 때문에 더 흥미를 가지고 책을 보고 있습니다.

한데 여러 자료를 보면 Lisp 컴파일러라고도 하고 인터프리터라고도 하는데 Lisp 특히나 SICP 홈페이지에서 다운 받을 수 있는 MIT Scheme의 경우는 인터프리터형인지 컴파일러형인지 알고 싶습니다.

익명 사용자의 이미지

LispM의 이미지

현대적인 Lisp 구현은 컴파일러와 인터프리터 둘다 갖고 있는 인털랙티브(interactive) 형 입니다 :-)

Common Lisp의 경우 코드 일부에 대해 선택적인 컴파일(예: 이맥스에서 region 선택, m-x compile-region)을 언제든 할 수 있으며, 일부 Scheme 구현도 마찬가지인 것으로 압니다.

http://lisp.or.kr http://lisp.kldp.org - 한국 리습 사용자 모임

정재윤의 이미지

김영재 wrote:
한데 여러 자료를 보면 Lisp 컴파일러라고도 하고 인터프리터라고도 하는데 Lisp 특히나 SICP 홈페이지에서 다운 받을 수 있는 MIT Scheme의 경우는 인터프리터형인지 컴파일러형인지 알고 싶습니다.

일단 언어의 구현이 그러한가를 말할 수 는 있어도, "어떤 언어"가 컴파일 방식인지 인터프리트 방식인지는 논할 수 없습니다. 간단히 C언어도 인터프리트 방식으로 구현할 수 있고, 심지어 기계어도 인터프리트 방식을 쓸 수 있고, 그렇게 나와 있는 프로그램들도 많습니다.

MIT scheme의 경우는 bytecode를 인터프리트합니다. 물론 이 바이트 언어까지는 컴파일을 하죠. 결국, 컴파일 언어와 인터프리트방법을 모두 사용합니다.