PFPL 笔记 - XII Symbolic Data
笔记 12 Symbolic Data
Symbols
A symbol is an atomic datum with no internal structure.
A symbol is just a name, or index, for a family of operation
lzx 同学给出的例子
(define f (+ 1 a)) ; BOOM!
(define f (mu () (+ 1 a))) ; OK
(f) ; BOOM!
(let ((a 1)) (f)) ; 2
Fluid Binding
动态绑定
put 用来给 a 绑定上
get 用来获取 binding
Practical Foundations for Programming Languages