Quite the contrary. You need to use existing facilities (type checking, pattern matching combinators, etc) of a good implementation language as much as possibl

Quite the contrary. You need to use existing facilities (type checking, pattern matching combinators, etc) of a good implementation language as much as possible before even going to touch yacc or something like that.