Eval

4.17 Eval

TBoS p.124, SD

The eval function receives an expression e and returns the normal form e* of the expression e_b, where e_b results from e by replacing all square brackets by round ones.

(0-) (eval [+ 1 2])
3

(1-) (eval [define car [cons X Y] -> X])
(fn car)

(2-) (car [1 2])
1

4. The Core Language

4.6 Sequences

5 Defining Functions

6. Packages

7. Shen-YACC

8. Shen Prolog

9. Types

10 Sequent Calculus

10.2 Exotic Types