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

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

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

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