我有一些家庭作业，我想尝试做，以便更好地了解OO类型。我已经阅读过了，我并不确定如何去做。
以下是问题：
用两种不同的语言编写一个简单的面向对象程序两次。语言A和语言b。 （他们可以是任何语言）。 证明语言A的类型系统是“太严格”。 - 您编写的程序将在语言b中无错运行。 - 语言A的编译应该为程序引发类型错误警告。
问题2： 与上面相同，但我需要表明语言A“过于宽松”，并且会导致运行时故障。 - 语言b将导致Type = Error-Warning 语言可能与两个问题不同
好的，这就是手头的任务。现在我想分析这个问题的想法是： 1.我需要找到一个特定的类型错误 2.我需要找到两种语言，Handel的错误不同吗？
我是否正确地解决了这个问题？或者我完全误解了这个问题？