Initially start with a relatively simple type checker, rather than going for something full blown.
Initially start with a relatively simple type checker, rather than going for something full blown.