이맥스 리스프

3. 예시

이맥스 리스프는 다재다능한 텍스트 편집기를 만들기 위한 데이터 구조와 기능을 제공하는 데 목표를 두고 있다.^[7] 예를 들어, 모드에 의해 정의된 문장, 단락 또는 더 높은 구문 수준에서 버퍼 텍스트를 탐색하고 수정하는 많은 기능을 제공한다.

이맥스 리스프 코드는 평가되는 즉시 적용된다. 재컴파일하거나, 이맥스를 다시 시작하거나, 구성 파일을 재해시할 필요가 없다. 코드가 이맥스 초기화 파일에 저장되면 이맥스는 다음에 시작할 때 확장을 로드한다. 그렇지 않으면 이맥스를 다시 시작할 때 변경 사항을 수동으로 다시 평가해야 한다.^[7]

3. 1. 창 분할 예제

3. 2. 어드바이스(Advice) 기능

4. 소스 코드

이맥스 리스프 코드는 보통 "`.el`" 확장자를 가진 텍스트 파일로 파일 시스템에 저장된다.^[1] 사용자 초기화 파일은 예외적으로 "`.emacs`", "`.emacs.el`", ".emacs.d/init.el" 등으로 나타난다.^[1] 이맥스 프로그램의 인터프리터는 함수와 변수를 읽고 구문 분석하여 메모리에 저장하며, 이들은 편집기나 구성 파일을 다시 시작하거나 다시 로드하지 않고도 자유롭게 수정 및 재정의할 수 있다.^[1]

이맥스의 많은 기능은 필요할 때만 로드되는 패키지 또는 라이브러리 형태로 제공된다.^[1] 예를 들어, 프로그램 소스 코드에서 키워드를 강조 표시하는 라이브러리와 테트리스 게임을 하는 라이브러리가 있다.^[1] 각 라이브러리는 하나 이상의 이맥스 리스프 소스 파일을 사용하여 구현된다.^[1]

4. 1. 원시 함수

5. 바이트 코드

'바이트 코드 컴파일'은 이맥스 리스프 코드의 실행 속도를 향상시킬 수 있다. 이맥스에는 이맥스 리스프 소스 파일을 바이트 코드라는 특수한 표현으로 변환할 수 있는 컴파일러가 포함되어 있다. 이맥스 리스프 바이트 코드 파일은 파일 이름 확장자 "`.elc`"를 갖는다. 소스 파일에 비해 바이트 코드 파일은 더 빠르게 로드되고 실행되며, 더 적은 디스크 공간을 차지하고, 로드 시 더 적은 메모리를 사용한다.

바이트 코드는 여전히 원시 함수보다 느리게 실행되지만, 바이트 코드로 로드된 함수는 쉽게 수정하고 다시 로드할 수 있다. 또한, 바이트 코드 파일은 플랫폼에 독립적이다. 이맥스와 함께 배포되는 표준 이맥스 리스프 코드는 바이트 코드로 로드되지만, 사용자의 참조를 위해 일치하는 소스 파일도 일반적으로 제공된다. 사용자가 제공하는 확장 기능은 크기가 크거나 계산 집약적이지 않기 때문에 일반적으로 바이트 코드 컴파일되지 않는다.

6. 언어 기능

이맥스 리스프는 맥리스프(Maclisp)와 가장 관련이 깊으며, 이후 Common Lisp의 영향을 받았다.^[5] 명령형 및 함수형 프로그래밍 방식을 모두 지원한다. 리스프는 EINE 및 ZWEI와 같은 이맥스 파생 제품의 기본 확장 언어였다. 리처드 스톨만은 Gosling Emacs를 GNU Emacs로 포크했을 때, 함수를 데이터로 취급하는 기능을 포함한 강력한 기능 때문에 리스프를 확장 언어로 선택했다. 당시 Common Lisp 표준은 아직 제정되지 않았고, Scheme이 존재했지만, 스톨만은 워크스테이션에서 성능이 떨어져 사용하지 않기로 결정하고, 더 쉽게 최적화할 수 있는 방언을 개발하고자 했다.^[6]

이맥스에서 사용되는 리스프 방언은 애플리케이션 프로그래밍에 사용되는 보다 현대적인 Common Lisp 및 Scheme 방언과 실질적으로 다르다. 이맥스 리스프의 두드러진 특징은 기본적으로 렉시컬이 아닌 동적 스코프를 사용한다는 것이다. 즉, 함수는 함수가 호출된 스코프의 지역 변수를 참조할 수 있지만, 정의된 스코프의 지역 변수는 참조할 수 없다. 최근에는 렉시컬 스코핑을 사용하도록 코드를 업데이트하려는 노력이 진행되고 있다.

"cl-lib" 패키지는 Common Lisp의 상당 부분을 구현하며, 기존 "cl" 패키지를 대체한다. "cl-lib" 패키지는 Emacs Lisp 스타일 가이드라인을 따르며, "cl-" 접두사를 사용하여 이름 충돌을 피한다. Emacs 24에서는 정적 스코프를 사용할 수 있게 되었다.

6. 1. 꼬리 재귀 최적화

6. 2. 이식성

6. 3. 함수 네임스페이스

7. 동적 스코프에서 어휘적 스코프로의 전환

이맥스 리스프는 맥리스프(Maclisp)와 마찬가지로 동적 스코프를 사용하며, 버전 24부터 정적(또는 어휘적) 스코프를 옵션으로 제공한다.^[12] 파일 로컬 변수 `lexical-binding`을 설정하여 어휘적 스코프를 활성화할 수 있다.^[13][14]

원래 동적 스코핑은 최적화를 위한 의도였다. 당시에는 어휘적 스코핑이 흔하지 않았고 성능도 불확실했다. 컴퓨터 과학자 올린 시버스(Olin Shivers)에 따르면, 리처드 스톨만(RMS)은 이맥스 리스프에 동적 스코핑을 사용한 이유로 "어휘적 스코핑은 너무 비효율적"이라고 답했다고 한다.^[16] 또한 동적 스코핑은 사용자 정의에 더 큰 유연성을 제공하는 목적도 있었다.

그러나 동적 스코핑에는 몇 가지 단점이 있었다. 첫째, 서로 다른 함수 내 변수 간의 의도하지 않은 상호 작용으로 인해 대규모 프로그램에서 버그가 쉽게 발생할 수 있었다. 둘째, 동적 스코핑 하에서 변수에 접근하는 것은 일반적으로 어휘적 스코핑 하에서보다 느렸다.^[17] 이러한 단점을 해결하기 위해 어휘적 스코프로의 전환이 이루어졌다.

참조

_[1] 웹사이트 Byte compiling Emacs Lisp https://www.gnu.org/[...] 2024-06-14
_[2] 웹사이트 Compilation of Emacs Lisp to native code https://www.gnu.org/[...] 2024-06-14
_[3] 편지 https://www.cs.cmu.e[...] 1981-12-18
_[4] 간행물 Ad for CCA EMACS 1984-12
_[5] 문서
_[6] 문서 "My Lisp Experiences and the Development of GNU Emacs" https://www.gnu.org/[...]
_[7] 웹사이트 Re: [Emacs-diffs] /srv/bzr/emacs/trunk r111086: gmm-utils.el (gmm-flet https://lists.gnu.or[...] Lists.gnu.org 2012-12-05
_[8] 웹사이트 NEWS.24.4 https://www.gnu.org/[...]
_[9] 웹사이트 Porting old advice https://www.gnu.org/[...]
_[10] 웹사이트 Appendix C Porting Common Lisp https://www.gnu.org/[...] Gnu.org 2019-10-28
_[11] 웹사이트 Google Groups https://groups.googl[...]
_[12] 웹사이트 Emacs 24.1 released http://lists.gnu.org[...] Lists.gnu.org 2013-08-18
_[13] 웹사이트 Lexical binding http://lists.gnu.org[...] Lists.gnu.org 2011-04-01
_[14] 웹사이트 Dynamic Binding Vs Lexical Binding http://www.emacswiki[...] EmacsWiki 2013-05-17
_[15] 웹사이트 Obsolete Lexical Binding https://www.gnu.org/[...] GNU Press 2021-05-27
_[16] 웹사이트 T http://people.csail.[...] People.csail.mit.edu 2013-08-18
_[17] 서적 Process https://books.google[...] Walter de Gruyter 2009-06-02
_[18] 웹사이트 Emacs Lisp https://www.gnu.org/[...] FSF 2023-09-27
_[19] 문서
_[20] 문서 "My Lisp Experiences and the Development of GNU Emacs" http://www.gnu.org/g[...]
_[21] 편지 https://www.cs.cmu.e[...] 1981-12-18