微软研究院搞出了一个新语言：C-Omega。我们会有一个很自然的反应：YANL（Yet Another New Language）？最近的新鲜语言真是不少，除了C-Omega之外，还有G#、Nice，再加上近年来各自引起过一段热潮的Groovy、Curl、Ruby、Python……噢，好吧，我听到有人在抱怨：弄出这么多语言来干什么？还嫌我们程序员不够忙么？
不过说起来，新技术终归是为了帮助程序员而出现的，虽然它们总会带来一个令人苦恼的学习过程。学习一种新语言无非包括两方面：学习它的语法，以及学习使用它的支撑环境。从语法的层面上，其实这些新语言有相当的共通之处。譬如说，它们都有面向对象的概念（这多少是句废话），它们基本上都有泛型的概念。值得注意的是，Curl和Nice（以及未来的C# 2.0）都提供了类似这样的语法：
String func1( ) {...} // Return value of func1 cannot be null String ? func2( ) {...} // Return value of func2 can be null String a = func1(); // Right, a cannot be null String a = func2(); // It doesn't compile, a cannot be null but func2 can String ? b = func2(); // Right, b can be null
这种“Nullable”语法彻底解决了臭名昭著的NullPointerException问题：如果把一个可能为null的值赋给一个不可为null的变量（或者传递给一个不可为null的参数），那么代码根本无法通过编译。提高语言的类型安全性，把“允许为null”（Nullable）的类型用不同的语法声明，这是未来的主流语言一定会支持的特性。
另一个值得注意的趋势是：面向对象的语言开始向函数式编程（Functional Programming，FP）学习。Ruby和Groovy有闭包（closure）的特性，Nice的Tuple特性也有些LISP的影子。不过走得最远的还是C-Omega，也许因为它的目标是直接支持SQL与XML，而后两者原本就是函数式的语言吧。从Dare Obasanjo的那篇文章可以看到，C-Omega类型系统的根基是流（stream）——跟LISP的列表（list）俨然是同一回事，使用yield语法的迭代和LISP处理函数的方式也如出一辙。FP在语法的简练和代码的复用程度上都有其优势，熟悉OO的程序员们稍微了解一下FP应该会大有裨益。随便举个例子：
List aList; for(Iterator it = aList.iterator; it.hasNext(); ) { Dog aDog = (Dog) it.next(); aDog.snarl(); } List aList; new Iterate(aList, new Snarl()).evaluate();
当然这不是真正的Java代码，不过完全可以用Java写出类似的程序。J2SE 1.5引入了增强的for循环，实质上也是向FP学习的成果。
而在另一方面——支撑环境，流行的新语言日益朝着两个主流平台——Java和.NET——靠拢。Nice和Groovy都是运行在JVM上的，C-Omega和G#则是运行在CLR上的，Python也有.NET平台上的IronPython和Java平台上的Jython，所以学习新语言往往不需要花太多时间去了解它们的运行时环境，这不啻是程序员的一大福音。照我的经验，只要是Groovy能做的事情，没有任何一件是用Java可以做得更快的——不管是编写web action还是处理XML。所以，多少了解一些新语言，常常会有很现实的好处。