Practical Foundations for Programming Languages的书评 (1)

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

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