> When the static type checking system has an inference engine there is a strong incentive not to document types on the part of programmers. But then the compi

> When the static type checking system has an inference engine there is a strong incentive not to document types on the part of programmers. But then the compiler has the capacity to write/emit the type declarations.