技术常识错误之 “JavaScript是一种脚本语言” (3)

哦，我承认这句话其实并不是错误，只是不严谨。

严谨的描述是：“JavaScript是一种形式语言，一般作为脚本语言的模式运行。”

今天主要给大家区分一下，语言本身的属性和运行时的属性。

形式语言

形式语言是精确的数学或机器可处理的公式定义的语言。

形式语言未必用于编程。例如：分子式也是形式语言。

自然语言

自然语言是人类所用于沟通的语言。

目前来看，自然语言一般还不用于编程。

分类

到现在为止，你可以把语言分为形式语言和自然语言了。

例如，你把汉语、英语、日语分到了自然语言；

你把JavaScript、C++、C#分到了形式语言。

形式语言的属性

一个形式文法G由四个部分组成,可记作G={VN, VT, S , P }……

……我换种说法……

如果你要定义一个语言，你会确定很多这个语言的基本属性。

例如：它有多少个关键字，if语句需不需要加括号，语句结尾需不需要加分号……

C++语句结尾需要分号，Python不需要。

这是语言本身的语法定义的。

与语言无关

除了语言的语法（严格来说叫文法），别的都不是形式语言的属性。

例如: PHP能不能用来写安卓？Java的运行速度快不快？JavaScript可以不可以编译成二进制？

如果有一天谷歌开发了PHP写安卓的框架，那么PHP就能写安卓。

如果有一天有人开发了Java的加速方法，Java运行速度可能会变很快。

如果有一天有人写了JavaScript的二进制编译器，那么JavaScript也可以编译成二进制。

而这些事情在发生的时候，这些语言的语法没有发生过任何变化。

因此，它们和语言无关。

回到题目

JavaScript是脚本语言吗？

“JavaScript是一种语言，只不过它最初设计时，为了它以脚本语言的模式工作而设计了它的语法。”

这句话简称为：JavaScript是脚本语言。但你要记住，脚本语言不是JavaScript的属性。

事实上，自从Chromium的V8引擎开始，就能够把JavaScript进行JIT编译了。

但这件事并没有影响JavaScript的语法。

同样的

很多人问我，C#是托管语言吗？C#能跨平台吗？

严格来说，问题本身就是错的。

C#是形式语言。

只是如果你用.Net Framework环境去编译和运行C#，它就是托管语言。

只是如果你用.Net Core或Xamarin去编译和运行C#，它确实真能跨平台。

如果有一天有人开发了C#解释器，那么C#也可以作为脚本语言被运行了。

但这一切和C#无关。

总结

一门语言性能如何、是否跨平台、是否能被解释、是否能被编译，与语言本身无关。

语言本身的属性只有它的文法。

语言能在哪里运行，快与慢，更多的是运行时（runtime）决定的。