AutoCAD 3DMAX C语言 Pro/E UG JAVA编程 PHP编程 Maya动画 Matlab应用 Android
Photoshop Word Excel flash VB编程 VC编程 Coreldraw SolidWorks A Designer Unity3D
 首页 > JAVA编程

编程语言:功能越强自由越少?

51自学网 2015-09-03 http://www.51zixue.net

  C#最近一直在增加新特性以变得更加强大,Java也在步其后尘。当它向开发者提供更多的自由时,其是否会变得越来越强呢?一种语言是否需要提供高度的自由和灵活性才能变得强大?

  Reg Braithwaite深信未必如此。在回应Azubuko Obele的论调“希望语言变得强大的人们实际上是希望有更多的自由”时,Braithwaite声称以下是引用片段:
一些函数式语言也增加了严格的规则,但这并不意味着他们就不强大:通常情况下,Haskell可能是限制最严格的语言:一种方式可以做所有的事情,这就是数学上纯函数式语言。你有强大、富有表现力的静态类型
  […]
  同样,Factor编程语言对开发者施加了一种单一的约束规则集:转向Factor的开发者必须放弃本地变量以获得Factor的更高层次的编程能力。

  因此,Reg认为“语言可以提供更强功能的同时也(自相矛盾地)提供了更多的规则以及更少的自由”。按照他的说法,真正重要的事情是遵循指导理念而且保持语言一致性的精心设计。那么语言就能以事半功倍的效果提供更多的能力,同时它还可以不断成长而不会“抛出更多[通常是不相关的]的特性”。

    

以下是引用片段:
在任何领域,好的设计都会做到事半功倍。而在差的设计下,增加新的能力将需要添加更多的检查框、更多的特性、更多的做事方法(彼此间还会产生干扰)。

  在分享Braithwaite的能力与自由并没有必然联系的观点时,评论员之一Daniel认为一种语言的能力不依赖于它施加到开发者上的规则,而是依赖于它所提供的“计算机语言定理”:

  

以下是引用片段:
 计算机语言并不类似于规则,而是类似于数学。[…]所以可以将其与代数相比。你拥有的定理越多,你就会变得更强大。定理是自由的吗?当然不是。定理是基本的原理,我们可以将其组合起来以获得更多的成果。

  根据Daniel所述,造成语言之间差异性的原因在于他们所提供的定理在多大程度上是人脑便于处理的结构:

以下是引用片段:
例如,机器码中并没有我们所熟知的“for”循环。你可以使用的仅仅是基于CPU标志的条件跳转。
  然而由此我们发明了一个非常有用的结构,这就是“for”循环。
  现在,尽管“for”循环是一个非常强大的结构,但它也经常被滥用。很少有人真正能在他们脑子中模拟“for”循环,因此该结构中的错误不胜枚举。
  现在,“foreach”(list iterator或者mapper)结构可能不像“for”结构那样灵活,但它更容易理解。
  Daniel提倡使用这种容易理解的结构,因为它降低了误用的风险并且使得语言更加“容易编写出正确的程序”。尽管这些结构可能“既强大又易用”,但事实并非总是如此,一些容易被误用的“定理”实际上更加强大。所以,自由与强大之间不但没有必然联系,而且我们很有可能为了代码质量而放弃一些强大的功能。

  如果不考虑概念上的差异,这两种方式并不是截然对立的。基于Reg和Daniel的论点,我们可以得出如下结论:语言需要精心设计以保证不同特性之间的一致性,并且提供对人脑有意义的结构来降低误用的风险以及提升代码质量,这样的语言才是真正强大的语言。查看英文原文:Programming Languages: More Powerful with Less Freedom?

  译者简介:张龙,同济大学软件工程硕士,现就职于理光软件研究所。主要从事文档工作流和办公自动化解决方案的研发工作。热衷于Java轻量级框架的研究,对敏捷方法很感兴趣。曾有若干年的J2EE培训讲师经历。参与InfoQ中文站内容建设,请邮件至china- editorial[at]infoq.com。

查看英文原文: Programming Languages: More Powerful with Less Freedom?

 

 

 
说明
:本教程来源互联网或网友上传或出版商,仅为学习研究或媒体推广,51zixue.net不保证资料的完整性。
 
上一篇:春天来啦:Spring框架概述  下一篇:雅虎架构师谈MapReduce和Hadoop的未来