微軟推出了一種名為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代碼示例