SketchyLISP Reference Manual - Copyright (C) 2005 Nils M Holm

Contents

1 Summary
2 Programs
2.1 Program Execution
2.2 Expressions
3 Reduction Rules
3.1 Introduction
3.2 Atoms
3.3 Lists
3.4 Primitive Functions
3.5 Lambda Functions
3.6 Variadic Lambda Functions
3.7 Empty Lists
3.8 Other Lists
4 Primitive Functions
4.1 Introduction
4.2 Bindings and Definitions
4.2.1 bottom
4.2.2 define
4.2.3 lambda
4.2.4 letrec
4.2.5 quote
4.3 Control
4.3.1 apply
4.3.2 call/cc
4.3.3 cond
4.4 Composition and Decomposition
4.4.1 car
4.4.2 cdr
4.4.3 cons
4.5 Predicates
4.5.1 char?
4.5.2 eq?
4.5.3 null?
4.5.4 number?
4.5.5 pair?
4.5.6 procedure?
4.5.7 string?
4.5.8 symbol?
4.6 Type Conversion
4.6.1 char->integer
4.6.2 integer->char
4.6.3 integer->list
4.6.4 list->integer
4.6.5 list->string
4.6.6 string->list
4.6.7 string->symbol
4.6.8 symbol->string
5 Pre-defined Symbols
5.1 **
6 Library Functions
6.1 Type Predicates
6.2 List Functions
6.3 Logic and Combinatoric Functions
6.4 Numeric Functions
6.5 Char Functions
6.6 String Functions
6.7 Library Loaders
7 Differences to Scheme
7.1 First Class Environments in Closures
7.2 Functions
9 Meta Commands
8.1 Entering Meta Commands
8.2 :C - Load Conditionally
8.3 :D - Dump Image
8.4 :G - Garbage Collection
8.5 :K - Print Closures
8.6 :L - Load Program
8.7 :Q - Quit
8.8 :S - Statistics
8.9 :T - Trace Mode
8.10 :V - Version and License
8.11 :W - Wrap Column
9 References