哦,我承认这句话其实并不是错误,只是不严谨。
严谨的描述是:“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)决定的。