TDC Benefits
Use intermediate/target types to drive translation and optimisation
Use intermediate/target type checker to help debug the compiler
- Correct compilers do not turn typeable code into untypeable code
- In practice this catches certain insideous kinds of errors in compilers