王垠用了很大的篇幅来阐述Checked Exception（CE）的重要性。王垠的心情我可以理解，异常处理确实很重要，但王垠可能犯了“诉诸动机”的谬误。因为实践中我没有见过任何库符合王垠理想的Checked Exception用法。破坏向后兼容性按王垠的理论，Checked Exception可以在方法签名上标明具体错误原因，但实践中，每次在签名上增加一个新的异常，都会破坏向后兼容性。对于需要复用的框架和库来说，直接就给这个功能判了死刑。王垠
如何评价王垠的《Kotlin和CheckedException》？