Microsofts nye programmeringssprog 'Bosque' har ingen kærlighed til loops

Microsoft har introduceret et nyt programmeringssprog ved navn Bosque. Det nye sprog følger ikke mange konventionelle modeller, som vi kender i dag, ifølge udvikleren af ​​sproget, Mark Barron. I stedet har man valgt en 'regulariseret programmeringsmodel', som ifølge virksomheden vil øge udviklerproduktiviteten, softwarekvaliteten og muliggøre en guldalder af udviklinger inden for compilere og udviklerværktøjer.

Bosque adresserer fem store kilder til utilsigtet kompleksitet. Disse er 'Foranderlig tilstand og rammer', 'løkker, rekursion og invarianter', 'ubestemt adfærd', 'datainvariante overtrædelser' og 'Lighed og aliasing'.

Som nævnt ovenfor kræver Bosques ikke 'for',' while', 'do while'-løkker, det nærmer sig conditionals på en anden måde. Microsoft introducerede 'Functors', som tjener formålet med 'loop' og kan øge softwarekvaliteten. Du kan se, hvordan 'Functors' adskiller sig fra 'loops' på billedet nedenfor.

De af jer, der er bekendt med JavaScript og dets rammer, TypeScript (som er et supersæt af JavaScript), vil forstå Bosque-koder bedre end nogen anden, da Bosque-sproget er afledt af en kombination af TypeScript-inspireret syntaks og typer plus ML og Node/JavaScript-inspireret semantik . For at vide mere om Bosque sprog i detaljer tjek dette forskningspapir fra Microsoft. Du kan også finde kodeeksempler på GitHub.

via: WinFuture