微軟本周發(fā)布了新的編程語言Bosque,它是一種追求簡潔的開源編程語言。
Bosque出自微軟計算機(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)有的編程模型簡化為一個規(guī)范化的形式,消除了主要的錯誤來源,簡化了代碼理解和修改,并將許多自動推理任務(wù)轉(zhuǎn)換為細(xì)小的命題。
Bosque受TypeScript語法、類型,以及ML和Node / JavaScript語義的組合的啟發(fā),遵循MIT開源許可,你可以點此前往其GitHub頁面進(jìn)行詳細(xì)了解。