GNU Guile
From Wikipedia, the free encyclopedia
GNU Guile is an interpreter/virtual machine for the Scheme programming language. It was first released in 1993.[1] Guile includes modularized extensions for POSIX system calls, APL array functionality, and others, packaged as an object[2] library. "Libguile" allows the language to be embedded in other programs, and used as an interface for other languages which allow close integration[3].
Guile is the "official" extension language of the GNU Project, although, as of 2006, it has been used for only a handful of major projects. Its name was coined in a Usenet discussion by Lee Thomas.[4] The idea is that "the developer implements critical algorithms and data structures in C or C++ and exports the functions and types for use by interpreted code. The application becomes a library of primitives orchestrated by the interpreter, combining the efficiency of compiled code with the flexibility of interpretation."[5] This close interaction can come at a cost, however. Scheme requires implementations to optimize tail recursion because of Scheme's heavy use of recursion, but most techniques interfere with interoperation; Guile is forced to compromise and optimize tail calls within purely Scheme functions and programs, but to abandon tail recursion when C functions enter the picture.[6] Implementation of call/cc, another requirement of the Scheme standard, is also unsatisfactory — to handle continuations with C involves copying the entire C stack into the heap.[7] Garbage collection, too, is not high-performance because C code could well have a pointer to a Scheme object; to avoid loss of needed cons cells, Guile's garbage collector is a conservative one which can miss cells that could be reclaimed.[8]
Contents |
[edit] Scheme compliance
Guile does not strictly adhere to Scheme standards:
The Guile version of Scheme differs from standard Scheme ([Clinger]) in two ways. First, in Guile Scheme, symbols are case sensitive. Second, in Guile Scheme, there is no distinction made between the empty list and boolean false (between
'()
and#f
).[9]
In recent releases of Guile, symbols are still case sensitive, but the empty list and boolean false are distinct.
[edit] History
Guile had its origin in a heated discussion (later dubbed "the Tcl Wars") started by Richard Stallman, who stated that Tcl was underpowered for application scripting; he proposed Scheme as the preferred language for extending GNU applications and eventually launched the Guile project.[10] Because an appropriate Scheme interpreter did not exist at that time, Guile was developed to fill the niche. Tom Lord was heavily involved in the development of Guile while employed by Cygnus Solutions (later acquired by Red Hat). Its earlier versions were forked from SIOD ("Scheme In One Day"[11]) and the SCM interpreter[12], before 1995[13].
One of the goals of Guile is to allow other languages to be translated into Scheme and thence into portable byte-code; thus Guile would effectively be a language-neutral runtime environment. This goal has not been fulfilled yet, though various attempts have been made (a dialect of Scheme essentially differing only in its C-like syntax; a translation of Emacs Lisp; a Tcl converter motivated by TkWWW; and something roughly resembling the Logo programming language).
Guile Scheme supports XML, XPath, and XSLT in the forms of SXML, SXPath and SXSLT, respectively. The S-expression-based XML processing is provided by guile-lib.
Guile is supported by SLIB the portable Scheme library.
[edit] Programs using Guile
- GNU Anubis
- GnuCash
- GNU LilyPond
- GNU MDK
- GNU Robots
- GNU Serveez
- GNU TeXmacs
- GnoTime
- Scwm
- GEDA
- TkWWW — defunct web browser; was a Free GNU browser written & extensible in Tk
- mcron — a backwards compatible replacement for Vixie cron written in Guile[14]
[edit] References
- ^ Blandy 1997, p. 102.
- ^ "Strictly speaking, Guile is an object library, not an executable." Blandy 1997, p. 89.
- ^ "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 procedurescons
." Blandy 1997, pp. 94, 96. - ^ "The name Guile was first suggested in a Usenet discussion by Lee Thomas." Guile Scheme 1995.
- ^ Blandy 1997, pp 87.
- ^ Blandy 1997, p. 99.
- ^ "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 thelongjmp
function to reactivate it. This implementation has a number of drawbacks…", Blandy 1997, p. 99. - ^ Blandy 1997, pp. 99–100.
- ^ "An Anatomy of Guile, The Interface to Tcl/Tk", 1995
- ^ Tcl war.
- ^ SIOD.
- ^ "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
- ^ "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.
- ^ "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." mcron, Project GNU.
- "Guile Scheme". December 1995; specification and history; © FSF.
- "An Anatomy of Guile, The Interface to Tcl/Tk" (1995)
- Jim Blandy, "Guile: An Interpreter Core for Complete Applications", Handbook of Programming Languages, Volume IV: Functional and Logic Programming Languages, ed. Peter H. Salus. 1998 (1st edition), Macmillian Technical Publishing; ISBN 1-57870-011-6, pp. 87–104.
[edit] External links
History: GNU Manifesto • GNU Project • Free Software Foundation (FSF)
GNU licenses: GNU General Public License (GPL) • GNU Lesser General Public License (LGPL) • GNU Free Documentation License (FDL)
Software: GNU operating system • bash • GNU Compiler Collection • Emacs • GNU C Library • Coreutils • GNU build system • other GNU packages and programs
Speakers: Robert J. Chassell • Loïc Dachary • Ricardo Galli • Georg C. F. Greve • Federico Heinz • Bradley M. Kuhn • Eben Moglen • Richard Stallman • Len Tower