GNU 가일

3. 특징

Guile Scheme은 C와 같은 언어보다 더 적은 코드 줄 수로 개념을 표현할 수 있는 범용 프로그래밍 언어이자 고수준 프로그래밍 언어이다. 위생적 매크로 시스템을 통해 Guile을 수정하지 않고도 특정 도메인 구문 요소를 추가할 수 있다. Guile은 Scheme 표준 R5RS, R6RS 및 R7RS의 대부분, 여러 Scheme 구현 요청 (SRFI), 그리고 자체적으로 많은 확장을 구현한다.

Guile Scheme의 핵심 아이디어는 "개발자가 C 또는 C++로 중요한 알고리즘과 데이터 구조를 구현하고, 해석된 코드에서 사용할 수 있도록 함수와 유형을 내보내는 것이다. 응용 프로그램은 인터프리터가 조율하는 기본 요소의 라이브러리가 되어, 컴파일된 코드의 효율성과 해석의 유연성을 결합한다."^[3] 따라서 Guile Scheme (및 Guile에 의해 구현된 다른 언어)은 C API를 통해 구현된 새로운 자료형 및 서브루틴으로 확장될 수 있다.

표준 배포판은 POSIX 시스템 호출, 스케줄링, 외부 함수 인터페이스, S-표현식 기반 XML 처리 (SXML을 통해), SXPath 및 SXSLT, HTTP 및 기타 월드 와이드 웹 API, 구분된 지속성, 배열 프로그래밍, 그리고 다른 기능을 위한 모듈을 제공한다. Guile 프로그램은 휴대용 Scheme 라이브러리인 SLIB의 기능을 사용할 수 있다.

3. 1. 범용 프로그래밍 언어

3. 2. 확장성 및 C API

3. 3. 모듈 시스템

3. 4. SLIB 지원

3. 5. 구현 세부 사항

4. Scheme 표준 준수

Guile Scheme은 Scheme 표준 R5RS, R6RS 및 R7RS의 대부분, 여러 Scheme 구현 요청 (SRFI), 그리고 자체적으로 많은 확장을 구현한다.

GNU 가일은 역사적인 부분에서 Scheme 표준을 엄격하게 따르지 않았다. 현재의 가일에서는 빈 리스트와 불리언 `#f`는 구분된다. 심볼의 대소문자는 구분되지만, 가일의 렉시컬 스캐너 겸 파서인 reader procedure^영어에서의 분기에 의해, 가일은 심볼에서의 대소문자 구분을 없앨 수 있다. 최근 채택된 Scheme 표준 R⁶RS는 R5RS 이전 표준에서 벗어나 대소문자 구분을 기본값으로 채택했다.

Scheme은 재귀를 빈번하게 사용하므로, 꼬리 재귀 최적화 구현이 필요하다. 하지만, 대부분의 기법은 상호 운용성을 손상시킨다. Guile은 순수 Scheme 함수나 프로그램 내에서만 꼬리 재귀를 최적화하고, C 언어 함수가 관여될 때는 꼬리 재귀 최적화를 포기한다.^[14]

call/cc^영어 (call-with-current-continuation)의 구현도 만족스럽지 못하다. C 언어로 계속을 다루려면, C 언어의 스택 전체를 힙에 복사해야 한다.^[15] 가비지 컬렉션 또한 효율적이지 못하다. C 언어 코드는 Scheme 코드에 대한 포인터를 가질 수 있어야 하기 때문이다. 필요한 cons^영어 셀의 소실을 피하기 위해 가일의 가비지 컬렉터는 보수적이 될 수 밖에 없으며, 재사용될 가능성이 있는 셀을 잃을 수 있다.^[16]

4. 1. 대소문자 구분 및 불리언 자료형

4. 2. 꼬리 재귀 최적화

5. 다른 언어와의 통합

Guile은 다른 프로그래밍 언어를 지원하고, 언어 중립적인 런타임 환경을 목표로 하는 프로젝트이다. Guile의 목표 중 하나는 다른 언어에서 Scheme, 더 나아가 포터블한 바이트코드로의 변환을 가능하게 하는 것이다.

Guile Scheme의 핵심 아이디어는 "개발자가 C 또는 C++로 중요한 알고리즘과 데이터 구조를 구현하고, 해석된 코드에서 사용할 수 있도록 함수와 유형을 내보내는 것이다. 응용 프로그램은 인터프리터가 조율하는 기본 요소의 라이브러리가 되어, 컴파일된 코드의 효율성과 해석의 유연성을 결합한다."^[3] 따라서 Guile Scheme (및 Guile에 의해 구현된 다른 언어)은 C API를 통해 구현된 새로운 자료형 및 서브루틴으로 확장될 수 있다.

표준 배포판은 POSIX 시스템 호출, 스케줄링, 외부 함수 인터페이스, S-표현식 기반 XML 처리 (SXML을 통해), SXPath 및 SXSLT, HTTP 및 기타 월드 와이드 웹 API, 구분된 지속성, 배열 프로그래밍 등 다양한 기능을 위한 모듈을 제공한다. Guile 프로그램은 휴대용 Scheme 라이브러리인 SLIB의 기능을 사용할 수 있다.

Guile는 S식에 기반한 XML 처리를 지원하며, 이는 guile-lib^영어에 의해 제공된다. 또한, XML, XPath^영어, XSLT를 (각각 SXML, SXPath^영어, SXSLT에서) 지원한다.

5. 1. 컴파일러 타워

5. 2. Emacs Lisp 통합

5. 3. GNU Make 통합

6. Guile을 사용하는 프로그램

• GNOME 게임 패키지의 일부인 AisleRiot^[23]
• gEDA
• GNU Anubis
• GnuCash
• Denemo
• GNU LilyPond
• GNU MDK
• GNU Robots
• GNU Serveez
• GNU TeXmacs
• GnoTime^[24]
• Liquid War 6
• mcron — Vixie cron의 대체품이며 상위 호환^[25]
• OpenCog^[26]
• Scwm
• Skribilo
• TkWWW — GNU가 제작한 무료 웹 브라우저. Tk를 사용하여 제작되었으며, 확장 가능.
• GNU make
• GNU GUIX
• GNU DMD
• GNU Artanis

참조

_[1] 서적 Blandy 1997, p. 102
_[2] 웹사이트 GNU Guile 3.0.10 released https://www.gnu.org/[...] gnu.org
_[3] 서적 Blandy 1997, p. 87
_[4] 웹사이트 Archives of the Tcl War http://www.vanderbur[...]
_[5] 웹사이트 The future of Emacs, Guile, and Emacs Lisp https://lwn.net/Arti[...]
_[6] 웹사이트 12.1 GNU Guile Integration https://www.gnu.org/[...] 2020-03-16
_[7] 서적 Blandy 1997, p. 102
_[8] 서적 "「Strictly speaking, Guile is an object library, not an executable.」 、Blandy、1997年, p.89."
_[9] 서적 "「To encourage customization, Guile provides extensive interfaces, allowing C code to interact with the Scheme world. C code can freely create, access, and mutate Scheme objects; C functions may call Scheme functions and vice versa; C code may add new types to the Scheme world and take advantage of Guile's garbage collection… Most of the standard Scheme procedures are implemented by C functions, visible to Guile clients; for example, applications can call the C function scm_cons, which is the underlying implementation of the Scheme procedures cons.」Blandy、1997年, pp. 94, 96."
_[10] 기타 Internet Archive Weyback Machine で確認。2011年1月1日のスナップショットには無いが、同年5月14日のアーカイブにはある。1997年7月のGNU's Bulletin, vol. 1 no. 23 で確認できるので、後付けではない。
_[11] 기타 "「The name Guile was first suggested in a Usenet discussion by Lee Thomas.」、Guile Scheme 1995年"
_[12] 기타 "Blandy 1997年、pp 87."
_[13] 기타 "「An Anatomy of Guile, The Interface to Tcl/Tk」、1995年"
_[14] 서적 Blandy 1997, p. 99
_[15] 서적 "「Because Guile allows C functions and Scheme functions to call each other freely, a Guile continuation may include both C and Scheme stack frames. For simplicity, Guile's implementation of call/cc copies the entire C stack into the heap; invoking a continuation copies the stack back from the heap and uses the longjmp function to reactivate it. This implementation has a number of drawbacks…」Blandy、1997年、p. 99."
_[16] 서적 "Blandy、1997年、pp. 99–100."
_[17] 웹사이트 Tcl war http://www.vanderbur[...]
_[18] 기타 Tom Lord
_[19] 기타 Cygnus Solutions。後にレッドハットによって買収された。
_[20] 웹사이트 SIOD http://www.cs.indian[...]
_[21] 기타 "「It's hard to determine just who designed Guile. A large share of the credit surely belongs to Aubrey Jaffer whose excellent Scheme interpreter, SCM, forms the core of the implementation. The module system was designed and built by Miles Bader…」、 An Anatomy of Guile, The Interface to Tcl/Tk、1995年"
_[22] 기타 "「Here is a very, very brief history of this interpreter. I hope that people involved in its past will contribute more to this document. SIOD: George Carrette wrote SIOD, the earliest version. Although most of this code as been rewritten or replaced over time, the garbage collector from SIOD is still an important part of Guile. SIOD is still actively developed and freely available (search for 'siod'). It has a very small footprint.」Guile Scheme、1995年"
_[23] 기타 "「The rules for the games have been coded for your pleasure in the GNOME scripting language (Scheme).」"
_[24] 웹사이트 GnoTime http://gttr.sourcefo[...]
_[25] 기타 "「It is written in pure Guile, and allows configuration files to be written in scheme (as well as Vixie's original format) for infinite flexibility in specifying when jobs should be run.」GNUプロジェクト mcron"
_[26] 웹사이트 OpencCog http://opencog.org
_[27] 서적 Blandy 1997, p. 102
_[28] 웹인용 GNU Guile 3.0.9 released https://www.gnu.org/[...] gnu.org
_[29] 웹인용 GNU Guile (About Guile) https://www.gnu.org/[...] GNU Project
_[30] 웹인용 GNU coding standards, Which Languages to Use https://www.gnu.org/[...] GNU Project
_[31] 웹인용 Guile Manual, API Reference https://www.gnu.org/[...] GNU Project
_[32] 웹인용 Guile Manual, Guile Modules https://www.gnu.org/[...] GNU Project
_[33] 기타 "To encourage customization, Guile provides extensive interfaces, allowing C code to interact with the Scheme world. C code can freely create, access, and mutate Scheme objects; C functions may call Scheme functions and vice versa; C code may add new types to the Scheme world and take advantage of Guile's garbage collection… Most of the standard Scheme procedures are implemented by C functions, visible to Guile clients; for example, applications can call the C function scm_cons, which is the underlying implementation of the Scheme procedures [[cons]]."
_[34] 웹인용 Applications using Guile https://www.gnu.org/[...] GNU Project