Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1...
Transcript of Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1...
![Page 1: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/1.jpg)
Programming paradigms 1Evaluation: define
Miroslav Hruška
![Page 2: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/2.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 3: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/3.jpg)
define
Eval[define,PG] = ’special form define’
![Page 4: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/4.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 5: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/5.jpg)
(define x 0)
Eval[(define x 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0] = . . .
Xx is a symbol.Eval[0,PG] = 0
x 7→PG 0
= ’undefined’
![Page 6: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/6.jpg)
(define x 0)
Eval[(define x 0),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, x, 0] = . . .
Xx is a symbol.Eval[0,PG] = 0
x 7→PG 0
= ’undefined’
![Page 7: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/7.jpg)
(define x 0)
Eval[(define x 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0] = . . .
Xx is a symbol.Eval[0,PG] = 0
x 7→PG 0
= ’undefined’
![Page 8: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/8.jpg)
(define x 0)
Eval[(define x 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0] = . . .
Xx is a symbol.
Eval[0,PG] = 0
x 7→PG 0
= ’undefined’
![Page 9: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/9.jpg)
(define x 0)
Eval[(define x 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0] = . . .
Xx is a symbol.Eval[0,PG] = 0
x 7→PG 0
= ’undefined’
![Page 10: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/10.jpg)
(define x 0)
Eval[(define x 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0] = . . .
Xx is a symbol.Eval[0,PG] = 0
x 7→PG 0
= ’undefined’
![Page 11: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/11.jpg)
(define x 0)
Eval[(define x 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0] = . . .
Xx is a symbol.Eval[0,PG] = 0
x 7→PG 0
= ’undefined’
![Page 12: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/12.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 13: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/13.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 14: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/14.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 15: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/15.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 16: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/16.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.
Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 17: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/17.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 18: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/18.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’
Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 19: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/19.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 20: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/20.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 21: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/21.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 22: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/22.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 23: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/23.jpg)
(define x (+ 1 1))
Eval[(define x (+ 1 1)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (+ 1 1)] = . . .
Xx is a symbol.Eval[(+ 1 1),PG] = . . .
Eval[+,PG] = ’pr. proc. of sum.’Eval[1,PG] = 1
Eval[1,PG] = 1
Apply[’pr. proc. of sum.’, 1, 1] = 2
x 7→PG 2
= ’undefined’
![Page 24: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/24.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 25: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/25.jpg)
(define 0 x)
Eval[(define 0 x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, 0, x] = . . .
Error: define: ’0’ is not a symbol.
![Page 26: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/26.jpg)
(define 0 x)
Eval[(define 0 x),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, 0, x] = . . .
Error: define: ’0’ is not a symbol.
![Page 27: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/27.jpg)
(define 0 x)
Eval[(define 0 x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, 0, x] = . . .
Error: define: ’0’ is not a symbol.
![Page 28: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/28.jpg)
(define 0 x)
Eval[(define 0 x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, 0, x] = . . .
Error: define: ’0’ is not a symbol.
![Page 29: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/29.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 30: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/30.jpg)
(define x x)
Eval[(define x x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, x] = . . .
Xx is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 31: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/31.jpg)
(define x x)
Eval[(define x x),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, x, x] = . . .
Xx is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 32: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/32.jpg)
(define x x)
Eval[(define x x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, x] = . . .
Xx is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 33: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/33.jpg)
(define x x)
Eval[(define x x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, x] = . . .
Xx is a symbol.
Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 34: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/34.jpg)
(define x x)
Eval[(define x x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, x] = . . .
Xx is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 35: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/35.jpg)
(define x x)
Eval[(define x x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, x] = . . .
Xx is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 36: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/36.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 37: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/37.jpg)
(define y x)
Eval[(define y x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, x] = . . .
Xy is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 38: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/38.jpg)
(define y x)
Eval[(define y x),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, y, x] = . . .
Xy is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 39: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/39.jpg)
(define y x)
Eval[(define y x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, x] = . . .
Xy is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 40: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/40.jpg)
(define y x)
Eval[(define y x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, x] = . . .
Xy is a symbol.
Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 41: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/41.jpg)
(define y x)
Eval[(define y x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, x] = . . .
Xy is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 42: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/42.jpg)
(define y x)
Eval[(define y x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, x] = . . .
Xy is a symbol.Eval[x,PG] = ...
Error: Symbol ’x’ does not have binding.
![Page 43: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/43.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 44: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/44.jpg)
(define)
Eval[(define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, ] = . . .
Error: define: Incorrect number of arguments
![Page 45: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/45.jpg)
(define)
Eval[(define),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, ] = . . .
Error: define: Incorrect number of arguments
![Page 46: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/46.jpg)
(define)
Eval[(define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, ] = . . .
Error: define: Incorrect number of arguments
![Page 47: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/47.jpg)
(define)
Eval[(define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, ] = . . .
Error: define: Incorrect number of arguments
![Page 48: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/48.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 49: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/49.jpg)
(define x)
Eval[(define x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x] = . . .
Error: define: Incorrect number of arguments
![Page 50: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/50.jpg)
(define x)
Eval[(define x),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, x] = . . .
Error: define: Incorrect number of arguments
![Page 51: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/51.jpg)
(define x)
Eval[(define x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x] = . . .
Error: define: Incorrect number of arguments
![Page 52: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/52.jpg)
(define x)
Eval[(define x),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x] = . . .
Error: define: Incorrect number of arguments
![Page 53: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/53.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 54: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/54.jpg)
(define x 0 z)
Eval[(define x 0 z),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0, z] = . . .
Error: define: Incorrect number of arguments
![Page 55: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/55.jpg)
(define x 0 z)
Eval[(define x 0 z),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, x, 0, z] = . . .
Error: define: Incorrect number of arguments
![Page 56: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/56.jpg)
(define x 0 z)
Eval[(define x 0 z),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0, z] = . . .
Error: define: Incorrect number of arguments
![Page 57: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/57.jpg)
(define x 0 z)
Eval[(define x 0 z),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, 0, z] = . . .
Error: define: Incorrect number of arguments
![Page 58: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/58.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 59: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/59.jpg)
(define define 0)
Eval[(define define 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, 0] = . . .
Xdefine is a symbol.Eval[0,PG] = 0
define 7→PG 0
= ’undefined’
![Page 60: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/60.jpg)
(define define 0)
Eval[(define define 0),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, define, 0] = . . .
Xdefine is a symbol.Eval[0,PG] = 0
define 7→PG 0
= ’undefined’
![Page 61: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/61.jpg)
(define define 0)
Eval[(define define 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, 0] = . . .
Xdefine is a symbol.Eval[0,PG] = 0
define 7→PG 0
= ’undefined’
![Page 62: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/62.jpg)
(define define 0)
Eval[(define define 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, 0] = . . .
Xdefine is a symbol.
Eval[0,PG] = 0
define 7→PG 0
= ’undefined’
![Page 63: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/63.jpg)
(define define 0)
Eval[(define define 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, 0] = . . .
Xdefine is a symbol.Eval[0,PG] = 0
define 7→PG 0
= ’undefined’
![Page 64: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/64.jpg)
(define define 0)
Eval[(define define 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, 0] = . . .
Xdefine is a symbol.Eval[0,PG] = 0
define 7→PG 0
= ’undefined’
![Page 65: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/65.jpg)
(define define 0)
Eval[(define define 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, 0] = . . .
Xdefine is a symbol.Eval[0,PG] = 0
define 7→PG 0
= ’undefined’
![Page 66: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/66.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 67: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/67.jpg)
(define define define)
Eval[(define define define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, define] = . . .
Xdefine is a symbol.Eval[define,PG] = ’special form define’define 7→PG ’special form define’= ’undefined’
![Page 68: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/68.jpg)
(define define define)
Eval[(define define define),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, define, define] = . . .
Xdefine is a symbol.Eval[define,PG] = ’special form define’define 7→PG ’special form define’= ’undefined’
![Page 69: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/69.jpg)
(define define define)
Eval[(define define define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, define] = . . .
Xdefine is a symbol.Eval[define,PG] = ’special form define’define 7→PG ’special form define’= ’undefined’
![Page 70: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/70.jpg)
(define define define)
Eval[(define define define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, define] = . . .
Xdefine is a symbol.
Eval[define,PG] = ’special form define’define 7→PG ’special form define’= ’undefined’
![Page 71: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/71.jpg)
(define define define)
Eval[(define define define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, define] = . . .
Xdefine is a symbol.Eval[define,PG] = ’special form define’
define 7→PG ’special form define’= ’undefined’
![Page 72: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/72.jpg)
(define define define)
Eval[(define define define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, define] = . . .
Xdefine is a symbol.Eval[define,PG] = ’special form define’define 7→PG ’special form define’
= ’undefined’
![Page 73: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/73.jpg)
(define define define)
Eval[(define define define),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, define, define] = . . .
Xdefine is a symbol.Eval[define,PG] = ’special form define’define 7→PG ’special form define’= ’undefined’
![Page 74: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/74.jpg)
Outline
1 define
2 (define x 0)
3 (define x (+ 1 1))
4 (define 0 x)
5 (define x x)
6 (define y x)
7 (define)
8 (define x)
9 (define x 0 z)
10 (define define 0)
11 (define define define)
12 (define x (define y 0))
![Page 75: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/75.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 76: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/76.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 77: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/77.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 78: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/78.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.
Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 79: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/79.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 80: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/80.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’
ApplyPG[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 81: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/81.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 82: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/82.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.
Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 83: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/83.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 84: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/84.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’
![Page 85: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/85.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’
x 7→PG ’undefined’= ’undefined’
![Page 86: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/86.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’
= ’undefined’
![Page 87: Evaluation: define MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1 define 2 (definex0) 3 (definex(+11)) 4 (define0x) 5 (definexx) 6 (defineyx)](https://reader033.fdocuments.in/reader033/viewer/2022052000/6012030b9a09893edc3f7d12/html5/thumbnails/87.jpg)
(define x (define y 0))
Eval[(define x (define y 0)),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, x, (define y 0)] = . . .
Xx is a symbol.Eval[(define y 0),PG] = . . .
Eval[define,PG] = ’special form define’ApplyPG
[’special form define’, y, 0] = . . .
Xy is a symbol.Eval[0,PG] = 0
y 7→PG 0
= ’undefined’x 7→PG ’undefined’= ’undefined’