动态语言——披着彩衣飞舞的脚本语言

 

故凡天下之理，欲向动上求静，静上求动            ——《蔡牧堂·发微论》

关键词：      动态语言,静态语言,脚本语言

摘要：   动态语言简谈

 ！预览

·           程序是为终端用户服务的，而脚本是为程序员服务的

·           动态语言秉承的一个理念是：优化人的时间而不是机器的时间

·           待静态语言披盔戴甲、备马抬枪之际，动态语言已衣袂飘飘，长剑出手了

·           当脚本语言披上动态语言的彩衣，昔日不起眼的毛毛虫便羽化成碟，开始飘舞在众人追逐的目光之中

  ？提问

·           脚本与程序的区别是什么？

·           脚本语言有什么特点？为什么适合作粘合语言？

·           动态语言有什么特点？它与脚本语言究竟有什么分别？

·           动态语言也能用于大型应用开发吗？

·           动态语言会最终取代静态语言吗？

：讲解

叹号急不可耐地问：“现在可以谈动态语言了吧？”

冒号感言：“曾几何时，动态语言还只是陪太子读书的角色，那时候它们的名字是‘脚本语言’。近来却迅速崛起，俨然有与静态语言分庭抗礼之势。”

问号忍不住问道：“动态语言与脚本语言是一回事吗？”

“相比动态语言定义上的模糊，脚本语言的概念还是比较明确的。”冒号回避直接给出答案，“脚本（script）的提法，是为了区别于一般的程序（program）。Perl的发明者Larry Wall不愧为语言学家，对此有一个精彩的说法：‘A script is what you give the actors,a program is what you give the audience’。直译为：脚本是给演员看的，节目是给观众看的。此言妙在一语双关——program兼有‘节目’和‘程序’的意思。”

句号领会其意：“这里的演员指的是程序员，观众指的是用户。换言之，程序是为终端用户服务的，而脚本是为程序员服务的。”

“正解！”冒号肯定道，“脚本最常见的形式是壳脚本（shell script），在非Unix类的操作系统中也称为批处理文件（batch file）。”

“批处理文件倒是很熟悉，壳脚本听起来就怪怪的。”逗号嘀咕着。

“那是因为你在Windows的世界里长大，听不惯Unix的方言。”冒号一语道破缘由，“操作系统的内核称为核（kernel），出于安全考虑不便直接与用户交互，因此裹上一层壳（shell），即人们常说的命令行解释器（command line interpreter）。壳脚本是在壳上运行的脚本，扩展了命令行下可执行的命令。它最初主要是内建（built-in）命令的组合，用于系统程序的调度，是系统管理员的必备武器。其后，壳脚本也发展到用于应用程序的调度、连接、调试等，成为粘合（glue）语言。”

逗号不禁有些疑问：“难道一般的程序语言如C之类的不能作此用吗？”

引号回应道：“这些语言通常需要‘编写－编译－链接－运行’的循环过程，十分繁琐。脚本语言编写后即可运行，快捷方便得多。”

冒号点点头：“不错，既然脚本主要用于整合其他程序，本身并不占用太多的资源，同时逻辑也不太复杂，因此脚本语言注重简洁、实用，语法要求不那么严格，性能上的要求也不高。除壳脚本外，还有一些专用于文本处理（text processing）的语言或工具如AWK、sed和grep等，多用于读写配置文件和日志文件、过滤处理各种程序的输入和输出，对于整合各种程序也非常实用。随着对脚本语言需求的增长，其局限性日益突出，以Perl为代表的高级脚本语言便应运而生了。Perl在壳脚本、AWK、sed的基础上，融合了命令式的C与函数式的Lisp的特征，渐渐成为最流行的脚本语言之一。”

问号注意到：“JavaScript是浏览器端的脚本，来路似乎有些不同。”

冒号解释道：“除了命令行程序外，脚本语言在其他的应用程序中也身影频现，如图形界面应用、多媒体应用、网络应用等。尤其是网络应用，成为滋生和繁荣脚本语言最肥沃的土壤。例如：Perl非常广泛地用于网络服务器端的CGI编程；PHP更是专为动态网页而设计的语言；Ruby虽与Java同岁，但真正开始风行得益于网络应用框架Ruby on Rails的成功；至于JavaScript，长期被边缘化为网页设计人员的语言，是web2.0的新宠AJAX真正将其带入程序员的视线。”

逗号有些好奇：“什么时候脚本语言变成了动态语言呢？”

“尽管动态语言并无确切的定义，但不是所有的脚本语言都能称作动态语言的——比如Bash之类的壳脚本语言（shell script language）；另一方面，也不是所有的动态语言天生就是为脚本服务的——比如Lisp[1]。不妨这么理解，脚本语言以语言的实际用途为标志，动态语言以语言的语法特征为标志。”冒号回答，“单从用途上看，一个脚本语言如果不再局限于命令行工具和粘合工具，从专用语言发展为通用语言，并能胜任复杂的应用开发，或许更有资格归为动态语言。”

句号发现：“动态语言似乎对字符处理都特别擅长。”

冒号道：“脚本语言与一般程序一个不同之处是，它一般是面向字符而非数值的，因为字符是最通用的接口，正好发挥其粘合作用，而数值运算对性能要求较高，多由核心程序来完成。动态语言继承了这个特点，并且除了正则表达式（regular expression）外，为字符串、数组、列表、集合、映射等常用结构提供了丰富简洁的运算，远比静态语言依赖于库（library）的方便自然得多。”

叹号问：“我们清楚了脚本语言中‘脚本’的来历，那动态语言中‘动态’又体现在何处呢？”

“问得好！”冒号闻言，正中下怀，“再从用法上看，动态语言能在运行中增加或改变数据结构、函数定义、对象行为或指令流程等。如果说动态类型语言的动态体现在类型上，动态语言的动态则体现在结构和功能上。相比而言，静态语言虽然也可能实现同样的效果，但既不方便也不自然[2]。另外不容忽视的一点是，动态语言大多是开源的，其本身的发展也更具动态性。”

引号非常注重理论：“动态语言的语法特征有那些？”

“动态语言秉承的一个理念是：优化人的时间而不是机器的时间。为提高人的生产率，宁肯牺牲部分的程序性能或者购买更高配置的硬件。由于硬件相对于人件一直在贬值，该理念便有了合理的现实基础。”冒号讲述着，“从语法上看，动态语言为了更好地粘合来自不同系统、不同语言的程序，对类型的要求一般不如静态语言那么严格，代码更加简洁自由，故而多为动态类型的和弱类型的，天然支持泛型式编程。当然这不是绝对的，比如Groovy也支持静态类型，Scala完全是静态类型的，Python一般认为是强类型的。大多数动态语言支持eval函数，能动态执行任意字符串形式的代码，并有丰富的反射（reflection）机制，天然支持元编程。动态语言很多还支持包括高阶函数（high-order function）和闭包（closure）等在内的函数式编程。此外，大多动态语言也支持对象式编程，如Python、Ruby、Perl 5、PHP 3等。”

句号补充道：“许多动态语言还支持过程式编程和并发式编程，简直把主要的编程范式一网打尽了！”

“其实Python、Ruby和Groovy等还可以进行切面式编程，这对于支持元编程的动态语言来说非常自然，因为切面式编程一般都是通过元编程来实现的。”冒号进一步指出，“而逻辑式编程语言的代表Prolog，同样有动态语言的特征。至于事件驱动式编程嘛，对支持callback的语言来说都不是难事。”

引号高兴地看到：“九大编程范式无一漏网啊！”

叹号较为感性：“静态语言给人的感觉是沉稳持重，而动态语言则活泼轻快。如果同时用静态语言和动态语言编程，岂不培养出双重人格？”

“程序员本就是双重人格的。”冒号淡淡地说，“你总结得没错，两类语言的风格的确大相异趣：待静态语言披盔戴甲、备马抬枪之际，动态语言已衣袂飘飘，长剑出手了。不过，如果是应付强敌的长期大规模作战，静态语言还是有优势的。”

引号听声辨音：“这意味着动态语言不适用大型应用开发吗？“

“这么说未免有些武断。”冒号并不同意，“诚然，动态语言的语法比较宽松，相对容易出错。但也有人辩称，动态语言的代码量少于相应的静态语言，bug应该更少。有人认为动态语言调试不如静态语言方便，有人却说随着IDE的日益强大，出错几率和找错成本也在减少。谈到运行效率，动态语言虽然多为解释型语言（interpreted language），但许多也提供了与Java类似的字节码编译（bytecode compilation）甚至JIT编译(just-in-time compilation)。动态语言在某方面甚至还更胜一筹：譬如一个类的接口如果发生变动，在静态语言中所有该类的子类和一些相关类都可能需要重新编译、连接，这在大型应用中是非常耗时的，而动态语言则大可不必，这当然不足为奇——在它眼里类结构本来就是能动态改变的。除此之外，越是大型的程序，越耗费人力和时间成本，客户需求的变化也越大，因而对程序的灵活性、适应性和开发周期提出了更高的要求。动态语言在这些方面比静态语言更有优势，并且还能作为快速原型（rapid prototyping）开发的工具。”

“快速原型开发？”问号一脸的疑惑。

冒号简作介绍：“这是一种软件开发的方式。举例来说，为了快速搭建一个系统，以适应不断变化的客户需要，可以先采用开发效率更高的动态语言。在交付时再将其转化为编译型的静态语言。如果系统对性能的要求不高，这种转化至多是局部的。有的干脆一字不易，不仅省了当下的时间，以后维护起来也更方便。”

逗号耍起了贫嘴：“这就叫：替补变成了主力，配角变成了主角，媳妇熬成了婆婆。”

叹号开始担忧起来：“听您这意思，动态语言优点突出而弱点并不突出，这样下去静态语言还有市场吗？”

冒号坦然道：“动态语言小快灵的风格的确吸引了越来越多人的注意，也渐渐走入静态语言的世界。Java平台和.Net平台不仅为Ruby和Python等动态语言铺设了跑道，而且为培植诸如Groovy等动态语言提供了土壤。同时，Java和C#本身也融进了越来越多的动态特征。”

句号断言：“静态语言这种融合性结合内在的安全性、稳定性，以及较高的性能、成熟度和接受度，都决定了它不可能被动态语言完全取代。”

“对！”冒号坚定地表示赞同，“当脚本语言披上动态语言的彩衣，昔日不起眼的毛毛虫便羽化成碟，开始飘舞在众人追逐的目光之中。但静态语言也绝不会淡出人们的视线，它如矫健的苍鹰，依然有搏击长空的雄力。程序员只要保持严谨的作风和开放的心态，既有稳如泰山的马步，又有一跃凌空的飞腿，静如处子，动如脱兔，如履平地般游走于高高的梅花桩上，绝无跌落之虞。”

一股豪情在众人心中荡漾开来。

冒号看了看时间，敛起眼中精光，同时收起话匣：“关于动态语言，今天还是先简单谈到这里吧。”

 

，插语

[1] Lisp本身以及一些变种如Emacs Lisp、AutoLISP等也能作为脚本语言，但那毕竟不是Lisp语言的初衷。
[2] 一些设计模式（如装饰模式、访问者模式等）就是为了赋予静态语言一定的动态特征。

。总结 

程序是为终端用户服务的，脚本是为程序员服务的。 脚本语言一般是解释型语言，不需要通过“编写－编译－链接－运行”的循环圈，便利快捷，加之简洁宽松的语法、面向字符的特性以及较强的文本处理能力，尤其适合作为粘合语言，多用于系统管理和集成。 脚本语言与动态语言尽管并不完全重合，但更多地还是提法上的区别。前者强调作为命令行工具和粘合工具的语言用途，后者强调动态的语言特征。当脚本语言不再局限于粘合语言，从专用语言发展为通用语言，并且胜任复杂的应用开发的时候，动态语言的提法显然更加合理。