Bosque

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í.