Lexing and parsing aren't the scary part. I'm much more nervous about maintaining invariants as you implement compilation passes, especially in the absence of

Lexing and parsing aren't the scary part. I'm much more nervous about maintaining invariants as you implement compilation passes, especially in the absence of powerful pattern-matching.