Practical Foundations for Programming Languages的书评 (2)

这篇书评可能有关键情节透露

《实用编程语言理论基础第二版》是一本非常有价值的计算机编程语言理论教材，旨在为读者提供编程语言中常见的抽象概念、语言主要特性和语义操作符等基础知识，并帮助读者领悟编程语言在计算机科学中的重要性。本书共分十个部分，覆盖了抽象语法、归纳定义、假言判断、静态语义...  (展开)

这篇书评可能有关键情节透露

类型安全这个概念从编程语言一诞生就有了，但是什么是类型安全这个事情却一直说不太清楚，90年代的搞法就是列举114514种类型不安全的情况，比如字符串不能和整型相加， 字符串不能当作布尔值....只要这114514种不安全的情况都不满足那这个程序就是类型安全的辣。 然后这本书第...  (展开)