摘要: 类型系统的一些概念,众说纷纭,使用上也比较乱。有些东西,甚至不好严格定义。以下算学术界的一种相对“严格”的说法。 首先了解一下基本概念 Program Errors trapped errors。导致程序终止执行,如除0,Java中数组越界访问 untrapped errors。 出错后继续执行,但 阅读全文
posted @ 2018-06-04 19:30 天下大雨 阅读(7972) 评论(0) 推荐(1) 编辑