写点什么

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

  • 2008-03-25
  • 本文字数:1604 字

    阅读完需:约 5 分钟

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

Reg Braithwaite 深信未必如此。在回应 Azubuko Obele 的论调“希望语言变得强大的人们实际上是希望有更多的自由”时,Braithwaite 声称强大与自由之间根本没有因果关系,即使在很多语言中这两者都是相互关联的,比如 Ruby。根据 Reg 所述,Python 是“一个比 Java 强大的多的语言”,尽管这两者都是“根据如下哲学构建的:适当去除开发者的自由会生成更好的程序”。在 Python 中,特性之所以被去除不是因为他们可能被误用,而是由于他们被认为是不必要的。这既可能是因为已经存在了“一个完美的方案”来获得期望的结果,也可能是因为这些特性关心的是“不重要”的东西,比如“缩进”。但是如果这些特性能“适合 Python 的风格和设计艺术”,这种方式并不会阻止向语言中增加新的特性。

一些函数式语言也增加了严格的规则,但这并不意味着他们就不强大:

通常情况下,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

2008-03-25 04:13720
用户头像

发布了 88 篇内容, 共 262.5 次阅读, 收获喜欢 8 次。

关注

评论

发布
暂无评论
发现更多内容

毕昇JDK:为啥是ARM上超好用的JDK

华为云开发者联盟

Java 华为 jdk Openjdk 毕昇 JDK

小白必看的,JS中循环语句大集合

华为云开发者联盟

JavaScript js 循环语句 while循环 for循环

想做DBA,多租户管理你一定要知道这些

华为云开发者联盟

多租户 GaussDB(DWS) 资源池 存储空间 资源隔离

构建高可用的MySQL

林一

MySQ MySQL 高可用 Maxscale

百度灵医智惠明星案例获人民日报点赞:智慧医疗让看病更便捷

百度大脑

人工智能 智慧医疗

博云作为专业独立PaaS厂商,入选中国PaaS市场研究报告

BoCloud博云

PaaS

24道几乎必问的JVM面试题,我只会7道,你能答出几道?

北游学Java

Java 面试 JVM

准备3个月,面试10分钟,Java中高级岗面试为何越来越难?

Java架构师迁哥

☕️【Java 技术之旅】带你一起攻克String类创建的难点分析

洛神灬殇

Java string pool string 6月日更

面试官:如何给字符串设计索引?

一个优秀的废人

MySQL 索引 字符串 索引优化

油管视频下载: 如何下载油管视频到本地

科技猫

分享 教程 经验 油管视频下载 下载油管视频

建信金科大咖访谈:ISO20000及ISO27001标准体系解读

金科优源汇

开源之夏来啦,欢迎报名 Apache APISIX 项目!

API7.ai 技术团队

开源 后端 技术人生 API 网关

待办事项列表,敏捷项目管理的核心工件

万事ONES

Scrum 敏捷 研发管理 ONES

企业应用AI之路怎么走?飞桨实践有真知

百度大脑

AI 飞桨

带你剖析鸿蒙轻内核任务栈的源代码

华为云开发者联盟

鸿蒙 任务栈 任务调度 任务上下文

基于传感器的人体生命体征监控技术

不脱发的程序猿

物联网 传感器 智能医疗 人体生命体征监控技术

质量分析工具-监控大厅大揭秘

anyRTC开发者

音视频 WebRTC sdk

宜兴牵手百度智能云共建人工智能应用中心,推动数字经济创新发展

百度大脑

人工智能

如何针对美工与设计师的Maya工具进行版本控制

龙智—DevSecOps解决方案

福利时刻 十年黑客大佬的Web安全渗透技术分享

学神来啦

Linux 黑客 安全 运维自动化

Flink + Iceberg 在去哪儿的实时数仓实践

Apache Flink

flink

我人生的里程碑之【作为独立开发者,第一次承接外包项目的心得经历,也许说出你的心声哦!】

洛神灬殇

程序人生 6月日更

如何科学制定和管理项目计划?

万事ONES

项目管理 ONES 项目经理

☕️【Java技术之旅】带你一起探究String类不可变的特性

洛神灬殇

string 原理 字符串 6月日更

react源码解析9.diff算法

全栈潇晨

react源码

程序员需要了解数据库知识么?

escray

学习 极客时间 朱赟的技术管理课 6月日更

从零开始学习3D可视化之模型动画

ThingJS数字孪生引擎

可视化 模型 大屏可视化 数字时代 3D可视化

Kubernetes学习笔记之Calico CNI Plugin源码解析(二)

360技术

理解Linux之文件I/O——知其然,知其所以然

奔着腾讯去

文件管理 Linux内核 文件I/O I/O模型

阿里云官方出品:全面总结阿里云云原生架构方法论与实践经验

尹文敏

云计算 阿里云 云原生

编程语言:功能越强自由越少?_Java_Sadek Drobi_InfoQ精选文章