Skip 的官方一句話(huà)介紹是“跳過(guò)那些你已經(jīng)做過(guò)計算的”(skip the things you have already computed)，這也就是它作為一個(gè)研究項目的主要目標，它要探索編程語(yǔ)言和運行時(shí)可以怎樣去支持準確、高效的基于記憶的緩存和緩存失效。而通過(guò)靜態(tài)類(lèi)型系統追蹤可變性，Skip 完成了這個(gè)目標，同時(shí)它也支持現代編程語(yǔ)言特征，例如 trait、泛型與子類(lèi)型。

　　Skip 是一種通用編程語(yǔ)言，它跟蹤副作用，提供反應失效的緩存、ergonomics 和安全的并行化以及高效的 GC。Skip 是靜態(tài)類(lèi)型的，它使用 LLVM 提前編譯，生成高度優(yōu)化的可執行文件。具體特點(diǎn)如下：

　　反應失效的緩存

　　Skip 主要的新特性是精準跟蹤副作用，包括值的可變性和非確定性數據源與能夠提供反應失效的數據源之間的區別。Skip 的類(lèi)型系統能夠證明給定函數邊界沒(méi)有副作用，這樣開(kāi)發(fā)人員可以選擇安全地記憶該計算，并在運行時(shí)確保底層數據發(fā)生變化時(shí)，之前緩存的值是無(wú)效的。

　　Skip 支持兩種互補的并發(fā)編程，由于它跟蹤副作用，這兩種編程都避免了常見(jiàn)的線(xiàn)程安全問(wèn)題。首先，Skip 支持使用 async/await 語(yǔ)法進(jìn)行 ergonomic 異步計算。由于 Skip 跟蹤副作用，異步計算不能引用可變狀態(tài)，因此可以安全地并行執行。其次，Skip 有可用于直接并行計算的 API，同樣利用其追蹤副作用的特型來(lái)避免線(xiàn)程安全問(wèn)題，如共享對可變狀態(tài)的訪(fǎng)問(wèn)。

　　高效和可預測的 GC

　　Skip 使用一種新方法進(jìn)行內存管理，結合了典型的垃圾回收特性和更直接的線(xiàn)性分配模式。由于 Skip 追蹤副作用，垃圾回收器僅需要掃描從底層計算處可訪(fǎng)問(wèn)的內存，在實(shí)踐中這意味著(zhù)開(kāi)發(fā)者能夠使用可預測 GC 寫(xiě)代碼。

　　混合函數式與面向對象語(yǔ)言的特點(diǎn)

　　Skip 的一大特點(diǎn)是混合了函數式與面向對象編程語(yǔ)言的特點(diǎn)，將兩者有機整合成了一種緊密結合的語(yǔ)言。與函數式語(yǔ)言類(lèi)似，Skip 表達能力強，支持抽象的數據類(lèi)型、模式匹配、簡(jiǎn)單的 lambda 和高階函數等;另一方面，與命令式面向對象的語(yǔ)言相似，Skip 支持可繼承的類(lèi)、可變對象、循環(huán)和提前返回。Skip 還結合了“系統”語(yǔ)言的思想，以支持低開(kāi)銷(xiāo)抽象、通過(guò)值類(lèi)的緊湊內存布局，以及確保利用靜態(tài)方法分派實(shí)現代碼特例化的模式。

　　Skip 由經(jīng)驗豐富的團隊設計，包括 ActionScript、C#、Flow、Hack、HHVM、Prettier、React Native 和 Relay 的高級貢獻者，從 2015 年到 2018 年，Facebook 花了 3 年在這個(gè)項目上，該語(yǔ)言的主要設計者是 Facebook 語(yǔ)言團隊負責人 Julien Verlaguet，他維護了該語(yǔ)言、編譯器與庫。如今 Facebook 宣布不再積極開(kāi)發(fā)，但是通過(guò)開(kāi)源的方式，希望讓 Skip 繼續保持活力，讓編程語(yǔ)言研究社區在語(yǔ)言設計與實(shí)現、編譯器和庫的基礎上進(jìn)行研究和構建。
　?。?a href="http://www.lsbmaoyi.com">邯鄲h5網(wǎng)站建設）