Cheap and fast R7RS Scheme Interpreter

SKINT is a portable interpreter for the R7RS Scheme programming language. It can be built from five C source files (10K lines of code) with a single command. There is no distributives or packages; just compile the source files with your favorite C compiler, link them with the standard C runtime libraries, and you're done. For some platforms, precompiled binaries are available (please see releases).

Installation

Here's how you can compile SKINT on a unix box using GCC:

gcc -o skint [skint].c -lm

Some compilers link <math.h> library automatically, some require explicit option like -lm above. It can be built on 32-bit and 64-bit systems.

For much better performance (especially in floating-point calculations) you may pick another compiler, add optimization flags and some SKINT-specific options, e.g.:

clang -o skint -O3 -D NDEBUG -D NAN_BOXING [skint].c -lm

The NAN_BOXING option assumes that the upper 16 bits of heap pointers are zero (48-bit address space). It is recommended to use this option on 64-bit systems that guarantee this.

The resulting interpreter has no dependencies (except for C runtime and standard -lm math library) and can be run from any location. If linked statically, it can be easily moved between systems with the same ABI.

For a more traditional install, please follow the instructions below. Skint will be installed as /usr/local/bin/skint command.

git clone https://github.com/false-schemers/skint.git
cd skint
make
make test
sudo make install

Scheme Compatibility

SKINT is true to basic Scheme principles -- it features a precise garbage collector, supports proper tail recursion, call/cc, dynamic-wind, multiple return values, has a hygienic macro system, and a library system. It is almost fully compatible with R7RS-small, but has the following known limitations and deviations from the standard:

• fixnums are 30 bit long, flonums are doubles
• no support for bignums/rational/complex numbers
• no support for Unicode; strings are 8-bit clean, use system locale
• source code literals cannot be circular (R7RS allows this)

Some features of the R7RS-Small standard are not yet implemented or implemented in a simplified or non-conforming way:

• read procedure is always case-sensitive (all ports operate in no-fold-case mode)
• #!fold-case and #!no-fold-case directives have no effect
• include and include-ci forms work in case-sensitive mode
• current-jiffy and jiffies-per-second return inexact integers
• current-second is defined as C difftime(time(0), 0)+37

Here are some details on SKINT's interactive Read-Eval-Print-Loop (REPL) and evaluation/libraries support:

• read supports R7RS notation for circular structures, but both eval and load reject them
• all R7RS-small forms are available in the built-in (skint) library and REPL environment
• -I and -A command-line options extend library search path; initial path is ./
• cond-expand checks against (features) and available libraries
• environment may dynamically fetch external library definitions from .sld files
• both eval and load accept optional environment argument
• command-line options can be shown by running skint --help
• both import and define-library forms can be entered interactively into REPL
• REPL supports single-line “comma-commands” — type ,help for a full list
• on Un*x-like systems, interactive use of skint with line exiting requires external readline wrapper such as rlwrap

Please note that SKINT's interaction environment exposes bindings for all R7RS-small procedures and syntax forms directly, so there is no need to use import. All R7RS-small libraries are built-in and do not rely on any external .sld files.

Origins

Parts of SKINT's run-time system and startup code are written in #F, a language for building Scheme-like systems. Its #F source code can be found there in precursors directory:

skint/pre

SKINT's hygienic macroexpander is derived from Al Petrofsky's EIOD 1.17 (please see the t.scm file for the original copyright info). SKINT's VM and compiler follow the stack machine approach described in “Three Implementation Models for Scheme” thesis by R. Kent Dybvig (TR87-011, 1987). Supporting library code comes from #F's LibL library.

Family

Please see SIOF repository for a single-file R7RS-small interpreter. It is more portable and easier to build, but is less complete and runs significantly slower.