微軟本周發(fā)布了新的編程語言Bosque,它是一種追求簡潔的開源編程語言。
Bosque出自微軟計算機科學家Mark Marron之手。Mark Marron表示,Bosque沒有遵循傳統(tǒng)的結構化編程模型,他認為后者的循環(huán)、可變狀態(tài)和引用等帶來了一些復雜性。
據(jù)介紹,Bosque建立在結構化編程和抽象數(shù)據(jù)類型的成功基礎之上,將現(xiàn)有的編程模型簡化為一個規(guī)范化的形式,消除了主要的錯誤來源,簡化了代碼理解和修改,并將許多自動推理任務轉(zhuǎn)換為細小的命題。
Bosque受TypeScript語法、類型,以及ML和Node / JavaScript語義的組合的啟發(fā),遵循MIT開源許可,你可以點此前往其GitHub頁面進行詳細了解。