微软推最新程序语言Bosque 以Functors取代Loop循环
微軟推出了一種名為 Bosque 的全新程序語言。據(jù)語言的開發(fā)者 Mark Barron 介紹,Bosque 并未遵循目前大家熟知的傳統(tǒng)程序語言模式,而是采用“正規(guī)化編程模型(Regularized Programming Model)”。微軟稱其將提高開發(fā)者的工作效率,軟件質(zhì)量,并將開啟編譯器和開發(fā)人員工具集的黃金發(fā)展年代。
“Functors”與“Loop 循環(huán)”的區(qū)別
Bosques 解決了意外復(fù)雜性(Accidental Complexity)的五大主要來源:
- 可變狀態(tài)和框架 / Mutable State and Frames;
- 循環(huán)、遞歸和不變量 / Loops, Recursion, and Invariants;
- 不確定性為 / Indeterminate Behaviors;
- 數(shù)據(jù)不變違規(guī) / Data Invariant Violations;
- 平等和別名 / Equality and Aliasing
如上所述,Bosques 不需要'for','while','do while' 等 Loop 循環(huán)語句,微軟推出了“Functors(功能)”,取代“Loop 循環(huán)”,可以提高軟件編譯質(zhì)量。
擁有 JavaScript 腳本或者 TypeScript(它是 JavaScript 的超集)語言基礎(chǔ)的開發(fā)人員將更好地理解 Bosque 代碼,Bosque 語言受 TypeScript 語法、類型,以及 ML 和 Node / JavaScript 語義的組合的啟發(fā) 。要詳細(xì)了解 Bosque 語言,請(qǐng)查看 Microsoft 此篇研究論文。
GitHub 頁面上列有 Bosque 代碼示例。
總結(jié)
以上是生活随笔為你收集整理的微软推最新程序语言Bosque 以Functors取代Loop循环的全部內(nèi)容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: 你为什么会做噩梦?大脑左右半球活动不平衡
- 下一篇: 优麒麟19.04正式版发布