Abstraction in programming languages

(+ x 3) is an expression dependent on x

x is the context

(lambda (x) (+ x 3))

is an expression which is context-independent [dependent on nothing]

Previous slide

Next slide

Back to first slide

View graphic version