Bosque je bezplatný a otevřený programovací jazyk vyvinutý společností Microsoft. Je odvozen od syntaxe a typů TypeScript a sémantiky jazyků ML a Node / JavaScript. Uživatelé s pozadím JavaScriptu budou Bosque obeznámeni. Je navržen pro psaní kódu, který je jednoduchý, zřejmý a snadno čitelný jak pro lidi, tak pro stroje. Bosque se zaměřuje na důsledky:
Návrh bytecode, který umožňuje hluboké automatické uvažování kódu a nasazení vývojových nástrojů, kompilátorů a runtime systémů.
Využití síly bytového kódu k zajištění snadno dostupného programovacího jazyka pro moderní vývojáře. Poskytuje také bohatou sadu jazykových funkcí pro vývoj spolehlivých a vysoce výkonných aplikací.
Stanovení vývoje cloudu jako priority pro řešení výzev, které přichází s přijetím modelu rozvoje distribuovaného cloudu.
Bosque podporuje jednoduchý a nevyjádřený typ systému, který umožňuje vývojářům používat řadu strukturálních, nominálních a kombinačních typů k vyjádření záměru a kódování funkcí problémové domény.
Funkce programovacího jazyka Bosque
Pozoruhodné vlastnosti Bosque zahrnují:
Nemožné
Všechny hodnoty v jazyce Bosque jsou neměnné, což znamená, že stav nelze po vytvoření upravit. To je oblíbené u mnoha funkčních jazyků a zlepšuje čitelnost a efektivitu běhu.
Napsané řetězce
Zadané řetězce poskytují známou strukturu obsahu řetězce v typu způsobem, který je užitečný pro člověka. Bosque obsahuje dva typy zadaných řetězců, SafeString a StringOf.
SafeString je parametrizován typem regulárního výrazu Validator, takže popisuje jazyk, do kterého řetězec patří.
StringOf je parametrizován jakýmkoli typem implementujícím koncepci Parsable, takže je ideální pro práci s daty, která přicházejí ve vlastním formátu nebo lehkém ověření.
Hromadné algebraické operace
Tato funkce podporuje hromadné čtení a aktualizace datových hodnot. S hromadnými operacemi lze aktualizace provádět jako atomovou operaci bez ruční extrakce a kopírování polí.
Chyby a kontroly
Cílem Bosque je zjednodušit proces vytváření spolehlivého softwaru. Jazyk poskytuje podporu pro chyby a kontroly. Vyjadřuje také řadu invariantů, kontrol zdravého rozumu a diagnostických tvrzení.