面向基礎(chǔ)軟件領(lǐng)域，ReScript 編程語(yǔ)言中文文檔正式上線

ReScript 是由 IDEA 講席科學(xué)家張宏波于 2015 年設(shè)計(jì)的一門靜態(tài)函數(shù)式語(yǔ)言，由國(guó)人主導(dǎo)設(shè)計(jì)研發(fā)，且目前已成為了在國(guó)際上有一定影響力的通用程序語(yǔ)言。

ReScript 起源于 OCaml，能被編譯成高質(zhì)量、可讀性強(qiáng)的 JavaScript 代碼，其性能在同類型語(yǔ)言中遙遙領(lǐng)先，ReScript 本身也被用于 OCaml 官方網(wǎng)站的搭建。

ReScript 語(yǔ)言有著相對(duì)活躍的國(guó)際化社區(qū)。這門程序語(yǔ)言曾被多個(gè)業(yè)界巨頭使用，如 Meta 用于 Messenger 和 Chats，Google 用于 WebAssembly spec；此外，ReScript 在全球范圍也具有一定的影響力，曾被歐洲、澳洲、北美、亞洲甚至中東的數(shù)百家公司采用，如歐洲的 Wolt、 澳洲的 TinyMCE、韓國(guó)的 GreenLabs、印度的 Porter 以色列的 AT&T 等等。截止目前，ReScript 全球累計(jì)下載量近 3 百萬(wàn)，每周平均下載量約 1.5 萬(wàn)次。

ReScript 社區(qū)在線下也有過(guò)比較積極的交流，在疫情前曾分別在維也納，芝加哥共召開(kāi)過(guò)三次 ReScript 全球開(kāi)發(fā)者大會(huì)。此外，ReScript 編譯器本身的貢獻(xiàn)也非常多元化，除了原作者張宏波本人以外，有來(lái)自世界各地近 300 名的貢獻(xiàn)者，目前累計(jì)約 1.4 萬(wàn)多次提交。其核心開(kāi)發(fā)人員中也不乏業(yè)界權(quán)威如 Cristiano、著名的靜態(tài)分析軟件 Infer 的作者。ReScript 作者在加入 IDEA 之前，因其在社區(qū)的特殊貢獻(xiàn)成為 Meta 在中國(guó)大陸的唯一一名特聘軟件工程師。

ReScript 社區(qū)還具有多元化的特點(diǎn)，目前社區(qū)已經(jīng)貢獻(xiàn)了英文官方文檔并被翻譯成韓語(yǔ)、葡萄牙語(yǔ)等多國(guó)語(yǔ)言。ReScript 作者離開(kāi) Meta 后致力于中文社區(qū)的推廣，開(kāi)設(shè)了國(guó)內(nèi)首門以 ReScript 語(yǔ)言來(lái)實(shí)現(xiàn)的程序語(yǔ)言理論和實(shí)踐公開(kāi)課程。同時(shí)，為了讓國(guó)內(nèi)開(kāi)發(fā)者更方便地學(xué)習(xí)和入門這門語(yǔ)言，在社區(qū)眾多志愿者的幫助下，完成了中文文檔的首次發(fā)布。

本次 ReScript 中文文檔上線，不僅能夠降低該語(yǔ)言對(duì)于國(guó)內(nèi)開(kāi)發(fā)者的學(xué)習(xí)門檻，還能為之后中文社區(qū)的建設(shè)夯實(shí)基礎(chǔ)。歡迎廣大開(kāi)發(fā)者使用 ReScript 做出更多技術(shù)性嘗試，一起為我國(guó)的基礎(chǔ)軟件領(lǐng)域發(fā)展添磚加瓦。

文檔主頁(yè)：https://rescript-idea.github.io/

ReScript 語(yǔ)言中文手冊(cè)：

https://rescript-idea.github.io/docs-cn/manual/latest/introduction

開(kāi)發(fā)者所使用的編程語(yǔ)言除了會(huì)影響日常所寫的代碼，還會(huì)塑造這門語(yǔ)言的使用者在編寫程序時(shí)的思維方式，甚至也會(huì)影響到其在開(kāi)發(fā)軟件以及設(shè)計(jì)架構(gòu)時(shí)的思維方式。

另外一方面，軟件開(kāi)發(fā)所選擇的程序語(yǔ)言會(huì)影響代碼的可靠性、安全性和性能，從長(zhǎng)遠(yuǎn)來(lái)看也影響開(kāi)發(fā)者閱讀代碼的流暢度，以及對(duì)現(xiàn)有代碼進(jìn)行重構(gòu)和擴(kuò)展的復(fù)雜度。

ReScript 采用了過(guò)去幾十年業(yè)界和學(xué)術(shù)界一些關(guān)鍵語(yǔ)言特性的優(yōu)雅組合，使其具備了效率、表達(dá)能力和實(shí)用性的良好平衡。

ReScript 具有兩大亮點(diǎn)，一是類型系統(tǒng)：在程序執(zhí)行之前，編譯器會(huì)檢查數(shù)據(jù)的類型和對(duì)其進(jìn)行的計(jì)算是否相匹配。對(duì)于出現(xiàn)類型不匹配情況的程序，類型系統(tǒng)會(huì)進(jìn)行報(bào)錯(cuò)，而不會(huì)在執(zhí)行程序的過(guò)程中出現(xiàn)未定義行為或者程序崩潰的情況。這有助于幫助語(yǔ)言的使用者及時(shí)排查出程序中可能存在的 bug，從而提升程序的可靠性和穩(wěn)定性。

另一大亮點(diǎn)是 ReScript 可以沿用當(dāng)前 JavaScript 的生態(tài)，ML 語(yǔ)系很多方言設(shè)計(jì)的很優(yōu)雅，但是當(dāng)需要做工業(yè)應(yīng)用的時(shí)候往往因?yàn)槿狈ν晟频牡谌綆?kù)而讓人望而卻步。ReScript 得益于和 JavaScript 共用運(yùn)行時(shí)，使得業(yè)界可以快捷方便地拿來(lái)作為主要工具語(yǔ)言開(kāi)發(fā)工業(yè)級(jí)應(yīng)用，而不會(huì)產(chǎn)生大量的額外負(fù)擔(dān)。

ReScript 曾被著名程序員 Paul Biggar（連續(xù)創(chuàng)業(yè)者: CircleCI、Darklang 的創(chuàng)始人，程序語(yǔ)言專業(yè)博士）認(rèn)為是可能是 JS 平臺(tái)上最好的編程語(yǔ)言。

雖然同賽道的 TypeScript 搭配孿生項(xiàng)目 VsCode 已經(jīng)占據(jù)了絕大部分市場(chǎng)份額，但由于設(shè)計(jì)思路上更具遠(yuǎn)見(jiàn)，在未來(lái)，ReScript 仍然有機(jī)會(huì)可以成為國(guó)產(chǎn)基礎(chǔ)軟件的一個(gè)突破。

ReScript 是由國(guó)人主導(dǎo)設(shè)計(jì)的一門編程語(yǔ)言，未來(lái)它的發(fā)展將立足中國(guó)，擁抱世界，努力培養(yǎng)一個(gè)開(kāi)放，多元化的社區(qū)。

在語(yǔ)言本身發(fā)展方面，ReScript 將加速和 TypeScript 的整合，提高和 TypeScript 的互操作。同時(shí)，由于 ReScript 的類型系統(tǒng)的可靠性，ReScript 也將聚焦去實(shí)現(xiàn)一些 TypeScript 不能做到的事情，如將更多的類型信息用于代碼優(yōu)化，對(duì)多后端如 WebAssembly 的探索。

程序語(yǔ)言與編譯器的設(shè)計(jì)與實(shí)現(xiàn)體現(xiàn)了計(jì)算機(jī)科學(xué)中的最核心的思想和技術(shù)，并且和業(yè)界新興的技術(shù)領(lǐng)域，如人工智能加速芯片、云計(jì)算、物聯(lián)網(wǎng)等都有著非常重要的聯(lián)系。但目前在國(guó)內(nèi)一直存在缺少優(yōu)質(zhì)教學(xué)資源、入門難、領(lǐng)域人才稀缺的問(wèn)題。

最近，IDEA 基礎(chǔ)軟件中心在 bilibili 平臺(tái)推出由張宏波親自講授的《程序語(yǔ)言理論與實(shí)踐公開(kāi)課》，這是首個(gè)以 Rescript 語(yǔ)言進(jìn)行教授的編程語(yǔ)言課程。

這門公開(kāi)課的制作團(tuán)隊(duì)曾深度參與過(guò)哈佛、耶魯、賓大相關(guān)課程的制作。課程以理論與實(shí)踐相結(jié)合的方式講授編程語(yǔ)言最核心內(nèi)容填補(bǔ)了國(guó)內(nèi)該教學(xué)領(lǐng)域的空白，意在培養(yǎng)更多學(xué)生及業(yè)界同行對(duì)基礎(chǔ)軟件相關(guān)領(lǐng)域的興趣，為國(guó)內(nèi)基礎(chǔ)軟件行業(yè)貢獻(xiàn)一份力量。