> That said, the idea of moving parts of the type-checking to the parsing stage is novel and interesting. It's exactly the opposite of novel, from the very beg

> That said, the idea of moving parts of the type-checking to the parsing stage is novel and interesting. It's exactly the opposite of novel, from the very beginnings of parsing theory its goal was to separate lexical, syntactic and semantic analysis. The benefits of the separation come as both better run-time performance and less code size and complexity.