GNU Guile

From Wikipedia, the free encyclopedia

GNU Guile
Developed by Free Software Foundation
Latest release 1.8.5 [1] / May 7, 2008 (2008-05-07); 35 days ago
OS GNU
Genre Programming language
License GNU Lesser General Public License
Website gnu.org: guile
Standard(s) R5RS

GNU Guile is an interpreter/virtual machine for the Scheme programming language. It was first released in 1993.[2] Guile includes modularized extensions for POSIX system calls, APL array functionality, and others, packaged as an object[3] library. "Libguile" allows the language to be embedded in other programs, and used as an interface for other languages which allow close integration[4].

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.[5] 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."[6]

Contents

[edit] Scheme compliance

For much of its history, Guile did 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).[7]

In recent releases of Guile, symbols are still case sensitive, but the empty list and boolean false are now distinct. A switch in the reader procedure, which is Guile's lexical scanner and parser, enables Guile to treat symbols as case-insensitive. The latest adopted Scheme standard, R6RS, departs from the previous standards by adopting case-sensitive symbols as the default.

The close interaction between Guile and the application can come at a cost. 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.[8] 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.[9] 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.[10]

[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.[11] 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"[12]) and the SCM interpreter[13], before 1995[14].

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

[edit] References

  1. ^ Guile project site, What's the latest news?
  2. ^ Blandy 1997, p. 102.
  3. ^ "Strictly speaking, Guile is an object library, not an executable." Blandy 1997, p. 89.
  4. ^ "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.
  5. ^ "The name Guile was first suggested in a Usenet discussion by Lee Thomas." Guile Scheme 1995.
  6. ^ Blandy 1997, pp 87.
  7. ^ "An Anatomy of Guile, The Interface to Tcl/Tk", 1995
  8. ^ Blandy 1997, p. 99.
  9. ^ "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.
  10. ^ Blandy 1997, pp. 99–100.
  11. ^ Tcl war.
  12. ^ SIOD.
  13. ^ "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
  14. ^ "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.
  15. ^ "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.


[edit] External links