Combinators and Graph Reduction (in Scheme)

Contents......Page 1
Introduction......Page 2
Functional Programming without Lambdas......Page 4
Function Definition by Partial Application......Page 5
Currying & Uncurrying......Page 11
Composition, Diagonalization & other......Page 14
Iteration Combinator for Lists......Page 18
Combinators & Graph Reduction......Page 21
Syntax of Combinatory Logic......Page 22
Reduction & Normal Forms......Page 26
Combinator Reduction Machine......Page 29
Animated Companion to Reduction Machine......Page 32
Implementing Functional Languages via Combinators......Page 37
The "Bracket" Abstraction Algorithm......Page 38
Experimenting with Abstraction......Page 42
Combinatory Encodings......Page 44
Encoding Booleans & Conditionals......Page 45
Encoding Numbers & Arithmetic......Page 47
Encoding Recursion......Page 50