Chapter 3. Evaluation and Compilation [chap-3]

Table of Contents

3.1. Evaluation sec_3-1
3.1.1. Introduction to Environments sec_3-1-1
3.1.2. Symbols as Forms sec_3-1-2-1-1 Macro DEFINE-SYMBOL-MACRO Dynamic Variables sec_3-1-2-1-1-2
3.1.3. Conses as Forms sec_3-1-2-1-2
3.1.4. Special Forms sec_3-1-2-1-2-1 Special operator EVAL-WHEN Special operator THE
3.1.5. Function Forms sec_3-1-2-1-2-3 Function SYMBOL-FUNCTION
3.1.6. Macros DEFUN & DEFMACRO
3.2. Compilation sec_3-2
3.2.1. Compiler Terminology sec_3-2-1 Just-In-Time Native Compilation
3.2.2. Compilation Semantics sec_3-2-2 Compiler Macros sec_3-2-2-1 Minimal Compilation sec_3-2-2-2 Semantic Constraints sec_3-2-2-3
3.2.3. Definition of Similarity sec_3-2-4-2-2
3.2.4. Exceptional Situations in the Compiler sec_3-2-5
3.3. Declarations sec_3-3
3.3.1. Minimal Declaration Processing Requirements sec_3-3-1
3.3.2. Declaration SPECIAL
3.3.4. Function CONSTANTP
3.3.5. Declaration SAFETY
3.3.6. Declaration (COMPILE)
3.3.7. Declaration SPACE
3.4. Lambda Lists sec_3-4
3.4.1. Boa Lambda Lists sec_3-4-6

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

These notes document CLISP version 2.49.60+Last modified: 2017-11-21