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