微软申请不可变对象类型专利

Stack Exchange 正在讨论微软申请的一项专利，标题叫“不可变对象类型”，描述了一种声明类型不可变的编程语言扩展。不可变类型相比可变类型能提供更高的安全性，它并不是新概念， C 、C++ 和 Java 等语言都存在类似的概念。