对NET平台的编程语言的当前趋势进行分析之后几件事情慢慢浮出水面在PDC召开期间微软逐步公开了围绕NET和编程语言的很多想法据此我们可以饶有兴趣地对NET的未来预测一番
NET平台以运行在通用语言运行时(Common Language RuntimeCLR)上的C#和VBNET作为开端CLR是通用语言架构(Common Language InfrastructureCLI)规范的一种实现任何希望创建新语言的人都能实现CLI规范它允许开发人员从大量的编程语言中选择一种年月微软发布了构建于CLR之上的动态语言运行时(Dynamic Language RuntimeDLR)的版本它使语言开发人员也可以为NET平台创建动态语言
一些语言是由微软开发和维护比如C#VBNET和F#但是大部分语言都是由社区创建的开源项目一些比较知名的语言有IronPythonIronRuby(两者都是动态的)和Boo(静态的)前面两个语言作为开源项目由微软积极推动它们是基于两个现存语言Python和Ruby的Boo从年就开始出现了由Rodrigo B De Oliveira创建现在依旧在积极地开发当中你梢栽赪ikipedia上找到一个包含了更多NET语言的完整列表
要掌握NET语言的走向首当其沖要了解的就是Anders Hejlsberg(C#的创造者)如何谈论C#的未来的在之前的几个C#版本中微软关注了托管代码(C# )泛型(C# )和语言集成查询(LINQ)(C# )而大家期盼的将伴随Visual Studio 而来的C# 主要关注之处则是动态编程在他的PDC演讲中Anders谈论了当前语言的趋势
我认为发展趋势涉及到三个主要方面第一个就是我们所看到的更加声明式的编程风格下一个就是我们过去几年在动态编程语言上所看到的某种形式的复苏以及它对我们的影响还有就是多核所带来的变化——如果你有这方面需要的话
……
对我而言这些趋势里最感兴趣的就是——所有这些趋势另外我也认为经典的编程语言分类法正在被打破之前我们习惯上把语言归为面向对象函数式动态的或结构化而现在我们正在逐渐看到各种语言都从其他语言那里借鑒很多思想我确实认为从某种意义上说新编程范例将是一种多编程范例
这些解释了为什么C#会具有声明式编程(LINQ)和动态编程(在C# 中的dynamic关键字)的元素
在稍早对Anders和Guy Steele的关于并发和语言设计的访谈里Anders指出
我们虽已拥有了名为C#的编程语言但并发处理已经来临所以我们需要考虑这意味着什么我认为在C# 和LINQ上的大量工作和并发问题已经非常相关了类似Lambda表达式和我们已经添加进来的一些特性可以让我们更好地构建这种类型的API
……
当然我们也缺乏一些语言内部的机制来控制或标识这些副作用对于纯函数和不可变数据的形式化应该有更好的语言支持另外对于编译器需要确定一个对象是否要暴露给任何人这样的情况也应该提供一些可能的支持来以进行某种形式隔离只要对象不暴露给任何人我们在本地变量中处理它就能保证其变化时是真正安全的
微软已经开展了一个和并发相关的项目叫做并行计算初始计划S Somasegar开发部门的高级副总裁最近在一个Q&A论文中谈到了在Visual Studio 中期望包含的东西
它将包含一些新的NET Framework函数库比如任务并行函数库(Task Parallel LibraryTPL)和并行LINQ(PLINQ)以及并行模式函数库(Parallel Pattern LibraryPPL)和使用C++开发原生应用程序时可用的并发运行时(Concurrency Runtime)及调试工具微软也通过在Windows Communication Foundation(WCF)和Windows Workflow Foundation(WF)中额外添加一些新的功能来持续地对NET Framework进行投入
这个项目自然成为微软获取反馈的一个途径来了解如何在NET编程语言当中进行改变以轻易地支持并发莫尔定律依旧适用于晶体管密度但对于CPU速度(GHz) 已经不适用了所以需要转向并行计算而不是停止前进当然微软也明白使用一致的基础功能来解决和其他语言共同工作的问题具有很大的挑战所以下一步要着力解决的就是类似C#这样的语言
在NET平台上谈论编程语言往往会提到VBNET vs C#的主题Anders谈到了C#和VBNET之间共同进化(CoEvolution)的问题
……当我们尽力在某个之中开发出一些不同的特性之时其他的团队也打算实现这个东西现实是促进这些语言发展的正确方法便是共同进化
可见并发处理将成为下一个重要的事情是无容置疑的动态编程将在C# 中出现不过人们还是希望未来的版本能够包含更多的特性VBNET被承诺和C#共同进化以实现两个语言具有不同的语法但可以给出同样的输出结果随着和Visual Studio 一起发布的DLR的出现随着IronPython和IronRuby的可用性的提升动态语言将在未来几年里成为主流