微軟本周發(fā)布了新的編程語言Bosque，它是一種追求簡潔的開源編程語言。

Bosque出自微軟計(jì)算機(jī)科學(xué)家Mark Marron之手。Mark Marron表示，Bosque沒有遵循傳統(tǒng)的結(jié)構(gòu)化編程模型，他認(rèn)為后者的循環(huán)、可變狀態(tài)和引用等帶來了一些復(fù)雜性。

據(jù)介紹，Bosque建立在結(jié)構(gòu)化編程和抽象數(shù)據(jù)類型的成功基礎(chǔ)之上，將現(xiàn)有的編程模型簡化為一個(gè)規(guī)范化的形式，消除了主要的錯(cuò)誤來源，簡化了代碼理解和修改，并將許多自動(dòng)推理任務(wù)轉(zhuǎn)換為細(xì)小的命題。

Bosque受TypeScript語法、類型，以及ML和Node / JavaScript語義的組合的啟發(fā)，遵循MIT開源許可，你可以點(diǎn)此前往其GitHub頁面進(jìn)行詳細(xì)了解。