【IT168 评论】Andrej Bauer发表了一篇名为《编程语言的设计》的文章。他基于一个简单的前提：“程序员是这样的一群人，他们健忘，懒惰，会犯所有可能的错误。”
因此，设计者的任务就是让编程语言能够弥补这些不足。语言不能太复杂，否则程序员总是会一知半解。一门语言应该提供众多有用的库，以此来纵容程序员的懒惰，并让语言可以直接而简洁地表达其思想。语言必须支持结构优 雅的源代码，否则程序员就会滥用复制-粘贴的方法。语言必须竭尽所能地捕获编程错误，尤其是那些司空见惯、频繁出现的错误。一旦找到错误，它必须指出错误 的真实原因，最好是提供人们能够理解的错误消息。
运用该理论的第一部分就是避免因为未知而出现的错误。他写道：
这一原则告诉我们，允许无效引用的主意实在糟糕，因为程序员会创建这些无效引用。的确，对于最近设计的语言如Java和Python，就不允许你做这种“盲人骑瞎马”的危险事情，例如：
int *p = (int *)0xabcdef;
遗憾的是，许多设计者并没有认识到空指针或空对象带来的危害。
.NET编程特别遵循了这一原则。它不仅提供了Java所拥有的“空引用异常”，而且还提供了Nullable值类型以解决通用的问题。还有一种新方法是代码契约，但目前该技术还不成熟，没有形成产品。
Andrej在比较了强类型对象与基于列表的数据结构后，又转向对变量定义的讨论。他就这一问题提出的一些有趣的观点，可以应用在.NET编程中。
