微軟開(kāi)源編程語(yǔ)言Bosque介紹

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)源許可，

以上就是小編為大家?guī)?lái)的微軟開(kāi)源編程語(yǔ)言Bosque介紹，希望能對(duì)您有所幫助！