Chapter 3. Evaluation and Compilation

Chapter 3. Evaluation and Compilation
Prev	Part I. Chapters or the Common Lisp HyperSpec	Next

Chapter 3. Evaluation and Compilation [chap-3]

Table of Contents

3.1. Evaluation

3.1.1. Introduction to Environments

3.1.2. Symbols as Forms

3.1.2.1. Macro DEFINE-SYMBOL-MACRO
3.1.2.2. Dynamic Variables

3.1.3. Conses as Forms

3.1.4. Special Forms

3.1.4.1. Special operator EVAL-WHEN
3.1.4.2. Special operator THE

3.1.5. Function Forms

3.1.5.1. Function SYMBOL-FUNCTION

3.1.6. Macros DEFUN & DEFMACRO

3.2. Compilation

3.2.1. Compiler Terminology

3.2.1.1. Just-In-Time Native Compilation

3.2.2. Compilation Semantics

3.2.2.1. Compiler Macros
3.2.2.2. Minimal Compilation
3.2.2.3. Semantic Constraints

3.2.3. Definition of Similarity

3.2.4. Exceptional Situations in the Compiler

3.3. Declarations

3.3.1. Declaration SPECIAL
3.3.2. Declaration EXT:CONSTANT-NOTINLINE
3.3.3. Function CONSTANTP
3.3.4. Declaration SAFETY
3.3.5. Declaration (COMPILE)
3.3.6. Declaration SPACE

3.4. Lambda Lists

3.4.1. Boa Lambda Lists

All the functions built by FUNCTION, COMPILE and the like are atoms. There are built-in functions written in C, compiled functions (both of type COMPILED-FUNCTION) and interpreted functions (of type FUNCTION).

Table 3.1. Function call limits

`CALL-ARGUMENTS-LIMIT`	2¹²=4096
`MULTIPLE-VALUES-LIMIT`	2⁷=128
`LAMBDA-PARAMETERS-LIMIT`	2¹²=4096

	These notes document CLISP version 2.49	Last modified: 2010年07月07日

[CLISP home] [Support CLISP] [SourceForge]

2.6. Sharpsign Home 3.1. Evaluation