00 - Writing a Simple Type Checked Language

Why? Types are nice I guess. How? I am going to be using rust, but you can do this in any language that has recursion, probably.