I want to write my own Compiler/Interpreter/JIT (all three of them) this is a start step to learn about eager and lazy evaluation , scope of variables, type theory and others.
To details about implementation (not doc) see my blog.
This interpreter is a unstable work in progress.
Reference books :
- Simon Thompson. Type theory & functional programming, 1999.
- H.P. Barendregt. The Lambda Calculus , Volume 103 1984
Reference pages:
- Wikpedia Lambda calculus
- This question about reduction