Skip to content
WONGCW 網誌
  • 首頁
  • 論壇
  • 微博
  • 壁紙下載
  • 免費圖床
  • 視頻下載
  • 聊天室
  • SEO工具
  • 支援中心
  • 表格製作
  • More
    • 在線名片
    • 網頁搜索
    • 天氣預報
    • 二維碼生成器
    • WordPress 插件及主題下載
  • Search Icon

WONGCW 網誌

記錄生活經驗與點滴

Facebook 开源 Skip 面向对象+函数式编程语言

Facebook 开源 Skip 面向对象+函数式编程语言

2018-09-29 Comments 0 Comment

近日,Facebook 开源了全新语言 Skip,这是 Facebook 内部开发的一个实验性质编程语言,Facebook 表示,Skip 项目于 2018 年完成,今后将不再积极开发。Skip 的官方一句话介绍是“跳过那些你已经做过计算的”(skip the things you have already computed),这也就是它作为一个研究项目的主要目标,它要探索编程语言和运行时可以怎样去支持准确、高效的基于记忆的缓存和缓存失效。

而通过静态类型系统追踪可变性,Skip 完成了这个目标,同时它也支持现代编程语言特征,例如 trait、泛型与子类型。

Skip 是一种通用编程语言,它跟踪副作用,提供反应失效的缓存、ergonomics 和安全的并行化以及高效的 GC。Skip 是静态类型的,它使用 LLVM 提前编译,生成高度优化的可执行文件。具体特点如下:

反应失效的缓存

Skip 主要的新特性是精准跟踪副作用,包括值的可变性和非确定性数据源与能够提供反应失效的数据源之间的区别。Skip 的类型系统能够证明给定函数边界没有副作用,这样人员可以选择安全地记忆该计算,并在运行时确保底层数据发生变化时,之前缓存的值是无效的。

Skip 支持两种互补的并发编程,由于它跟踪副作用,这两种编程都避免了常见的线程安全问题。首先,Skip 支持使用 async/await 语法进行 ergonomic 异步计算。由于 Skip 跟踪副作用,异步计算不能引用可变状态,因此可以安全地并行执行。其次,Skip 有可用于直接并行计算的 API,同样利用其追踪副作用的特型来避免线程安全问题,如共享对可变状态的访问。

高效和可预测的 GC

Skip 使用一种新方法进行内存管理,结合了典型的垃圾回收特性和更直接的线性分配模式。由于 Skip 追踪副作用,垃圾回收器仅需要扫描从底层计算处可访问的内存,在实践中这意味着开发者能够使用可预测 GC 写代码。

混合函数式与面向对象语言的特点

Skip 的一大特点是混合了函数式与面向对象编程语言的特点,将两者有机整合成了一种紧密结合的语言。与函数式语言类似,Skip 表达能力强,支持抽象的数据类型、模式匹配、简单的 lambda 和高阶函数等;另一方面,与命令式面向对象的语言相似,Skip 支持可继承的类、可变对象、循环和提前返回。Skip 还结合了“系统”语言的思想,以支持低开销抽象、通过值类的紧凑内存布局,以及确保利用静态方法分派实现代码特例化的模式。

具体细节请查阅官方:http://www.skiplang.com/

Skip 由经验丰富的团队设计,包括 ActionScript、C#、Flow、Hack、HHVM、Prettier、React Native 和 Relay 的高级贡献者,从 2015 年到 2018 年,Facebook 花了 3 年在这个项目上,该语言的主要设计者是 Facebook 语言团队负责人 Julien Verlaguet,他维护了该语言、编译器与库。如今 Facebook 宣布不再积极开发,但是通过开源的方式,希望让 Skip 继续保持活力,让编程语言研究社区在语言设计与实现、编译器和库的基础上进行研究和构建。

GitHub:https://github.com/skiplang/skip

分享此文:

  • 分享到 Twitter(在新視窗中開啟)
  • 按一下以分享至 Facebook(在新視窗中開啟)
  • 分享到 WhatsApp(在新視窗中開啟)
  • 按一下以分享到 Telegram(在新視窗中開啟)
  • 分享到 Pinterest(在新視窗中開啟)
  • 分享到 Reddit(在新視窗中開啟)
  • 按一下即可分享至 Skype(在新視窗中開啟)
  • 按一下即可以電子郵件傳送連結給朋友(在新視窗中開啟)
  • 點這裡列印(在新視窗中開啟)

相關


網絡資訊

Post navigation

PREVIOUS
微软宣布2019年Ignite:重返奥兰多/时间改为11月/已开启预注册通道
NEXT
Facebook发现安全漏洞:黑客可控制5000万用户账号

發表迴響 取消回覆

這個網站採用 Akismet 服務減少垃圾留言。進一步了解 Akismet 如何處理網站訪客的留言資料。

More results...

Generic filters
Exact matches only
Search in title
Search in content
Search in excerpt
Filter by 分類
網站公告
Featured
限時免費
ESET NOD32
WINDOWS 10 &11 INSIDER PREVIEW
Windows 軟件下載
系統軟件
辦公軟件
圖像處理
影音媒體
網絡軟件
應用軟件
Mac 軟件下載
安卓軟件下載
網絡資訊
Mac資訊
Linux資訊
VPS資訊
NASA資訊
金融資訊
WhatsApp Stickers教學
WordPress資訊
WeChat資訊
PHP資訊
Plesk資訊
TensorFlow
教學資源
開源程序
網頁工具
SEO工具
醫療健康
旅遊及消閒
其他資訊
Content from
Content to
2018 年 9 月
一 二 三 四 五 六 日
 12
3456789
10111213141516
17181920212223
24252627282930
« 8 月   10 月 »

分類

  • 網站公告
  • 限時免費
  • ESET NOD32
  • WINDOWS 10 &11 INSIDER PREVIEW
  • Windows 軟件下載
  • 系統軟件
  • 辦公軟件
  • 圖像處理
  • 影音媒體
  • 網絡軟件
  • 應用軟件
  • Mac 軟件下載
  • 安卓軟件下載
  • 網絡資訊
  • Mac資訊
  • Linux資訊
  • VPS資訊
  • NASA資訊
  • WhatsApp Stickers教學
  • WordPress資訊
  • WeChat資訊
  • PHP資訊
  • Plesk資訊
  • TensorFlow
  • 教學資源
  • 開源程序
  • 網頁工具
  • SEO工具
  • 醫療健康
  • 旅遊及消閒
  • 其他資訊

彙整

近期文章

  • 預見到應用商店政策的轉變Mozilla正提前開發非WebKit引擎的Firefox 2023-02-08
  • 未來Apple Watch的錶帶部分也可提供更多用途 2023-02-08
  • 任天堂Switch Joy-Con操縱桿漂移訴訟被加州法院駁回 2023-02-08
  • 麻省理工學院的工程師們培育出”完美”的僅有原子厚度的材料 2023-02-08
  • 蘋果公司將在史蒂夫`喬布斯劇院為員工舉辦“AI峰會”活動 2023-02-08
  • 曝奔馳史詩級調整:19款車將停產旅行車是削砍重點 2023-02-08
  • 微軟自2017年以來首次更新其.NET語言戰略頁面 2023-02-08
  • ChatGPT還能玩DIY裝機:3500元主機配了AMD銳龍 2023-02-08
  • 歐盟欲在3月初就AI規則草案達成共同立場 2023-02-08
  • 全新1+5+2 CPU架構驍龍8 Gen3跑分首曝 2023-02-08

熱門文章與頁面︰

  • DP vs HDMI 誰才是遊戲玩家最佳選擇?
  • ESET NOD32 LICENSE KEY (UPDATED 2023-01-17)
  • 打車叫到特斯拉不會開門很尷尬?官方介紹開關門方法
  • Explorer Patcher:讓Windows 11恢復Windows 10的行為特徵
  • 下載WINDOWS10 登入畫面的圖片 (WINDOWS焦點)
  • AirTag機場實測:各項表現優異只有1個場景下無法生效
  • 貝貝BiliBili – 在線一鍵下載B站視頻,可解析播放!
  • Koodo Reader – 免費開源的Epub 閱讀器,支持桌面版和網頁版
  • ESET NOD32 LICENSE KEY (UPDATED 2022-01-01)
  • YouTube By Click 2.2.86(含:註冊機序列號)

投遞稿件

歡迎各界人士投遞稿件到admin@wongcw.com

請提供以下資料:

1.你的名字

2.你的電郵

3.分類目錄

4.文章標題

5.文章摘要

6.文章內容

7.文章來源

 

聯繫我們

查詢,投稿,商務合作:
​admin@wongcw.com
​技術支援:
​support@wongcw.com
​客户服務:
​cs@wongcw.com

QQ群:833641851

快帆

MALUS

極度掃描

DMCA.com Protection Status

WONGCW 網誌

  • 免責聲明
  • 捐助我們
  • ThemeNcode PDF Viewer
  • ThemeNcode PDF Viewer SC
  • Events

服務器提供

本站使用之服務器由ikoula提供。

聯繫我們

查詢,投稿,商務合作:
​admin@wongcw.com
​技術支援:
​support@wongcw.com
​客户服務:
​cs@wongcw.com

QQ群:833641851

© 2023   All Rights Reserved.
X