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
3.1.2.1. Macro DEFINE-SYMBOL-MACRO
3.1.2.2. 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
3.1.4.1. Special operator EVAL-WHEN
3.1.4.2. Special operator THE
3.1.5. Function Forms sec_3-1-2-1-2-3
3.1.5.1. Function SYMBOL-FUNCTION
3.1.6. Macros DEFUN & DEFMACRO
3.2. Compilation sec_3-2
3.2.1. Compiler Terminology sec_3-2-1
3.2.1.1. Just-In-Time Native Compilation
3.2.2. Compilation Semantics sec_3-2-2
3.2.2.1. Compiler Macros sec_3-2-2-1
3.2.2.2. Minimal Compilation sec_3-2-2-2
3.2.2.3. 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.3. Declaration EXT:CONSTANT-NOTINLINE
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.93+Last modified: 2018-02-19