Evaluation: deﬁne MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1...

Programming paradigms 1Evaluation: define

Miroslav Hruška

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))

define

Eval[define,PG] = ’special form define’

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)




(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’

(define x 0)



ApplyPG[’special form define’, x, 0] = . . .


x 7→PG 0

= ’undefined’

(define x 0)





x 7→PG 0

= ’undefined’

(define x 0)




Xx is a symbol.

Eval[0,PG] = 0

x 7→PG 0

= ’undefined’

(define x 0)





x 7→PG 0

= ’undefined’

(define x 0)





x 7→PG 0

= ’undefined’

(define x 0)





x 7→PG 0

= ’undefined’

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)




(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .


[’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’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .


ApplyPG[’special form define’, x, (+ 1 1)] = . . .



Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .





Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .



Xx is a symbol.

Eval[(+ 1 1),PG] = . . .


Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .





Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .




Eval[+,PG] = ’pr. proc. of sum.’

Eval[1,PG] = 1

Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .





Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .





Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .





Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .





Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

(define x (+ 1 1))

Eval[(define x (+ 1 1)),PG] = . . .





Eval[1,PG] = 1


x 7→PG 2

= ’undefined’

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)




(define 0 x)

Eval[(define 0 x),PG] = . . .


[’special form define’, 0, x] = . . .

Error: define: ’0’ is not a symbol.

(define 0 x)



ApplyPG[’special form define’, 0, x] = . . .


(define 0 x)





(define 0 x)





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)




(define x x)

Eval[(define x x),PG] = . . .


[’special form define’, x, x] = . . .

Xx is a symbol.Eval[x,PG] = ...

Error: Symbol ’x’ does not have binding.

(define x x)



ApplyPG[’special form define’, x, x] = . . .



(define x x)






(define x x)




Xx is a symbol.

Eval[x,PG] = ...


(define x x)






(define x x)






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)




(define y x)

Eval[(define y x),PG] = . . .


[’special form define’, y, x] = . . .

Xy is a symbol.Eval[x,PG] = ...


(define y x)



ApplyPG[’special form define’, y, x] = . . .



(define y x)






(define y x)




Xy is a symbol.

Eval[x,PG] = ...


(define y x)






(define y x)






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)




(define)

Eval[(define),PG] = . . .


[’special form define’, ] = . . .

Error: define: Incorrect number of arguments

(define)



ApplyPG[’special form define’, ] = . . .


(define)





(define)





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)




(define x)

Eval[(define x),PG] = . . .


[’special form define’, x] = . . .


(define x)



ApplyPG[’special form define’, x] = . . .


(define x)





(define x)





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)




(define x 0 z)

Eval[(define x 0 z),PG] = . . .


[’special form define’, x, 0, z] = . . .


(define x 0 z)



ApplyPG[’special form define’, x, 0, z] = . . .


(define x 0 z)





(define x 0 z)





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)




(define define 0)

Eval[(define define 0),PG] = . . .


[’special form define’, define, 0] = . . .

Xdefine is a symbol.Eval[0,PG] = 0

define 7→PG 0

= ’undefined’

(define define 0)



ApplyPG[’special form define’, define, 0] = . . .


define 7→PG 0

= ’undefined’

(define define 0)





define 7→PG 0

= ’undefined’

(define define 0)




Xdefine is a symbol.

Eval[0,PG] = 0

define 7→PG 0

= ’undefined’

(define define 0)





define 7→PG 0

= ’undefined’

(define define 0)





define 7→PG 0

= ’undefined’

(define define 0)





define 7→PG 0

= ’undefined’

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)




(define define define)

Eval[(define define define),PG] = . . .


[’special form define’, define, define] = . . .

Xdefine is a symbol.Eval[define,PG] = ’special form define’define 7→PG ’special form define’= ’undefined’




ApplyPG[’special form define’, define, define] = . . .











Xdefine is a symbol.

Eval[define,PG] = ’special form define’define 7→PG ’special form define’= ’undefined’





Xdefine is a symbol.Eval[define,PG] = ’special form define’

define 7→PG ’special form define’= ’undefined’





Xdefine is a symbol.Eval[define,PG] = ’special form define’define 7→PG ’special form define’

= ’undefined’






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)




(define x (define y 0))

Eval[(define x (define y 0)),PG] = . . .


[’special form define’, x, (define y 0)] = . . .

Xx is a symbol.Eval[(define y 0),PG] = . . .


[’special form define’, y, 0] = . . .

Xy is a symbol.Eval[0,PG] = 0

y 7→PG 0

= ’undefined’x 7→PG ’undefined’= ’undefined’




ApplyPG[’special form define’, x, (define y 0)] = . . .





y 7→PG 0










y 7→PG 0






Xx is a symbol.

Eval[(define y 0),PG] = . . .




y 7→PG 0










y 7→PG 0








ApplyPG[’special form define’, y, 0] = . . .


y 7→PG 0










y 7→PG 0









Xy is a symbol.

Eval[0,PG] = 0

y 7→PG 0










y 7→PG 0










y 7→PG 0










y 7→PG 0

= ’undefined’

x 7→PG ’undefined’= ’undefined’









y 7→PG 0

= ’undefined’x 7→PG ’undefined’

= ’undefined’









y 7→PG 0


Date post:	27-Sep-2020
Category:	Documents
Upload:	others
View:	1 times
Download:	0 times

Evaluation: deﬁne MiroslavHruškaphoebe.inf.upol.cz/~hruskam/materials/define.pdf · Outline 1...

Documents