作一個好前端必需要知道的事——JS語言

編程語言按各類方法能夠分爲各類類型，如今讓咱們來看看JS屬於什麼類型語言

解釋型語言

按編譯執行過程，能夠分爲編譯型語言和解釋型語言。好比

• c 語言，必須先通過編譯生成目標文件，而後連接各個目標文件和庫文件，生成可執行文件。
• Java、scala 則是先編譯成字節碼，而後解釋執行字節碼（能夠理解爲編譯型語言也能夠理解爲解釋型語言）。準確的理解，java 是編譯型語言，源代碼整個編譯成字節碼，java 字節碼，是解釋型語言。
• Python 是解釋型語言，不過也能夠先進行編譯，編譯成 python 的字節碼。
• Javascript 是解釋型語言。目前貌似尚未直接將 js 整個編譯而後才執行（有說法是 js 動態性太強，先總體編譯難度太大，執行性能不如解釋執行高）。

⚠️注意：解釋型語言也是須要編譯的。區分編譯型語言和解釋型語言，是看源代碼是否整個編譯成目標代碼而後執行仍是編譯一段執行一段。
對於傳統編譯型語言來講，編譯步驟分爲：詞法分析、語法分析、語義檢查、代碼優化和字節生成。
但對於解釋型語言來講，經過詞法分析和語法分析獲得語法樹後，就能夠開始解釋執行了（根據語法樹和符號表生成機器碼）。
這也就解釋了爲何都說 js 是解釋執行的，讀一句執行一句，可是實際上 js 中還沒執行到的代碼語法錯誤致使整個 js 不會執行的問題。例如：

console.log('不會被console出來');
= // 這裏的語法錯誤致使了上面的代碼也不會執行

其實js變量提高的現象也很明顯的證實了js是先編譯然後執行的
在瀏覽器中，多個<script>標籤中的 js 代碼，是分段編譯的（因此，某一個<script>標籤中的語法錯誤不會致使另外一個<script>中的代碼不執行）可是全局對象是共享的。

動態語言

按語言按變量的類型在編譯時肯定仍是運行時肯定能夠分爲靜態語言和動態語言。好比

• java，String s = null; 變量 s 的類型在編譯時就能夠肯定爲字符串類型。
• python，變量不須要聲明，變量的類型在第一次賦值時由值的類型肯定。
• js，let val;let = ‘1’; 變量 val 在運行 val=’1’時才能肯定爲字符串類型。

弱類型語言

按變量的類型是否在運行時能夠改變分爲強類型語言和弱類型語言。好比

• Java、scala 是強類型語言，變量一旦聲明，它的類型之後不能被改變。
• Python 是強類型語言。
• Js 是弱類型語言。好比 let v = ‘1’;v=1;v=true;這在 js 中是合法的。

很是靈活的語言

按語言範式能夠分爲聲明式、命令式、函數式語言。

• 聲明式編程，告訴計算機我要作什麼，而不是如何作。在更高層面寫代碼，更關心的是目標，而不是底層算法實現的過程。例如 css, 正則表達式，sql 語句，html, xml…
• 命令式編程，告訴計算機如何作，而無論我想要作什麼。解決某一問題的具體算法實現。例如 java、c。
• 函數式編程，將計算機運算看作是數學中函數的計算，而且避免了狀態以及變量的概念。

不少語言並非單純的支持某一種範式，像 java8 也添加了部分對函數式的支持。
js 是一個很是靈活的語言，支持命令式和函數式編程。

各類類型語言的優缺點

• 通常編譯型語言性能比解釋型語言高。可是因爲編譯型語言須要先進行編譯。
• 解釋型語言的好處是，部署到線上的是源代碼，能夠直接修改線上環境的代碼，解決一些 bug。好比咱們有時候直接修改線上的 js 代碼。
• 編譯型語言一般會用 xml 作配置文件，由於咱們一般不會改編譯後的字節碼。解釋型語言的配置，直接寫在源代碼裏更方便，用 xml 作配置就顯得多餘。
• 靜態語言，有利於編譯時檢查。好比 java、在 ide 中爲對象的一個不存在的屬性賦值能在編譯時檢查出錯誤。
• Js 是動態語言。對象的某個屬性是否存在，在編譯時沒法肯定。這致使某些錯誤要到運行時纔可能發現。因此通常 js 程序的正確性，更須要單元測試保證。
• 強類型語言因爲類型在聲明以後不容許改變，因此能實現編譯時類型檢查。動態語言和弱類型語言，則更靈活，實現相同功能的代碼量一般更少或者更容易實現複雜功能。固然可讀性可維護性方面不如靜態語言和強類型語言。

此文整理自前同事 @zhoujiaping的分享