2018年4月2日
强弱类型、动静态类型语言严格定义
摘要： 类型系统的一些概念，众说纷纭，使用上也比较乱。有些东西，甚至不好严格定义。以下算学术界的一种相对“严格”的说法。 1. 先定义一些基础概念 Program Errors trapped errors。导致程序终止执行，如除0，Java中数组越界访问 untrapped errors。 出错后继续执行 阅读全文
posted @ 2018-04-02 11:55 NoctisYang 阅读(215) 评论(0) 推荐(0) 编辑