【PConline資訊】微軟推出了一種名為Bosque的全新程序語(yǔ)言。據(jù)語(yǔ)言的開發(fā)者M(jìn)arkBarron介紹，Bosque并未遵循目前大家熟知的傳統(tǒng)程序語(yǔ)言模式，而是采用“正規(guī)化編程模型（RegularizedProgrammingModel）”。微軟稱其將提高開發(fā)者的工作效率，軟件質(zhì)量，并將開啟編譯器和開發(fā)人員工具集的黃金發(fā)展年代。

　　“Functors”與“Loop循環(huán)”的區(qū)別

　　Bosques解決了意外復(fù)雜性（AccidentalComplexity）的五大主要來(lái)源：

　　-可變狀態(tài)和框架/MutableStateandFrames；

　　-循環(huán)、遞歸和不變量/Loops,Recursion,andInvariants；

　　-不確定性為/IndeterminateBehaviors；

　　-數(shù)據(jù)不變違規(guī)/DataInvariantViolations；

　　-平等和別名/EqualityandAliasing

　　如上所述，Bosques　不需要'for'，'while'，'dowhile'等Loop循環(huán)語(yǔ)句，微軟推出了“Functors（功能）”，取代“Loop循環(huán)”，可以提高軟件編譯質(zhì)量。

　　擁有JavaScript腳本或者TypeScript（它是JavaScript的超集）語(yǔ)言基礎(chǔ)的開發(fā)人員將更好地理解Bosque代碼，Bosque語(yǔ)言受TypeScript語(yǔ)法、類型，以及ML和Node/JavaScript語(yǔ)義的組合的啟發(fā)。要詳細(xì)了解Bosque語(yǔ)言，請(qǐng)查看Microsoft此篇研究論文。

　　GitHub頁(yè)面上列有Bosque代碼示例