In the section 6 of Programming Languages course, Dan Grossman discussed about the soundness and the completeness of the type system. He said that:

• A type-system is sound implies that all of type-checked programs are correct (in the other words, all of the incorrect program can't be type checked), i …