微軟推最新程序語言Bosque 以Functors取代Loop循環
作者：佚名
微軟推出了一種名為Bosque的全新程序語言。據語言的開發者Mark Barron介紹，Bosque并未遵循目前大家熟知的傳統程序語言模式，而是采用“正規化編程模型（Regularized Programming Model）”。
微軟推出了一種名為Bosque的全新程序語言。據語言的開發者Mark Barron介紹，Bosque并未遵循目前大家熟知的傳統程序語言模式，而是采用“正規化編程模型（Regularized Programming Model）”。微軟稱其將提高開發者的工作效率，軟件質量，并將開啟 編譯器和 開發人員工具集 的黃金發展年代。
“Functors”與“Loop循環”的區別
Bosques 解決了意外復雜性（Accidental Complexity）的五大主要來源：
- 可變狀態和框架 / Mutable State and Frames；
- 循環、遞歸和不變量 / Loops, Recursion, and Invariants；
- 不確定性為 / Indeterminate Behaviors；
- 數據不變違規 / Data Invariant Violations；
- 平等和別名 / Equality and Aliasing
如上所述，Bosques 不需要'for'，'while'，'do while' 等Loop循環語句，微軟推出了“Functors（功能）”，取代“Loop循環”，可以提高軟件編譯質量。
擁有JavaScript腳本或者TypeScript（它是JavaScript的超集）語言基礎的開發人員將更好地理解Bosque代碼，Bosque語言受TypeScript語法、類型，以及ML和Node / JavaScript語義的組合的啟發 。要詳細了解Bosque語言，請查看Microsoft此篇研究論文。
GitHub頁面上列有Bosque代碼示例
責任編輯：張燕妮
來源：
cnbeta
