如果你仔细观察变量通常是如何使用的，就会发现几种独特的用法：
·通常对变量的赋值只有一次，并被当作不变的对象
·循环或列表中的变量包括了列表或对象集合的所有元素
·变量存储了当前状态，并且真正是可变的
循环计数器应该是可变的吗？我不这样认为。在循环体中改变循环计数器的代码会让人感到迷惑，也容易犯错。如果你希望操作计数器，可以使用while循环来代 替。因此，在以上三种情形中，有两种情形我们认为是不变的，但目前流行的编程语言却只为我们提供了变量。这太愚蠢了。我们设计的语言在默认情况下应该是不 变的值。如果程序员需要一个可变的值，可以显式地指定。
在C#或VB中可以这样吗？当然可以，而且并不难。
对于只赋值一次的变量，我们可以 考虑使用现有的类型推断功能。在C#中，可以编写“def x = ...”，而不是“var x = ...”。或者我们也可以简单地使用现有的关键字“const”。这也完全符合VB的所谓“做我所思，而非我言（do what I mean, not what I say）”的哲学，如早绑定与迟绑定。重要的是关键字足够简短；如果使用“readonly”这样较长的关键字，开发人员可能拒绝使用。
第二种情形更简单。只要循环变量发生了改变，就会弹出编译器的警告信息。
对于最后一种情形，使用正常可变变量的情形应该会越来越少见。当然不会完全禁止，但除非真正需要就不要使用。
至于编译时检查与运行时检查，以及未定义的标识符，实际上并不适用于主流的.NET程序员。但是，如果你正在考虑使用IronPython或IronRuby，那么你最好还是了解一下它们可能引发的一些问题。
总之，Andrej Bauer发表的《编程语言的设计》一文，很好地介绍了下一代语言应该致力于解决的各种问题。
