Le nouveau langage de programmation de Microsoft, « Bosque », n'aime pas les boucles

Microsoft a introduit un nouveau langage de programmation nommé Bosque. Le nouveau langage ne suit pas de nombreux modèles conventionnels que nous connaissons aujourd'hui, selon le développeur du langage, Mark Barron. Au lieu de cela, il a opté pour un «modèle de programmation régularisé» qui, selon la société, augmentera la productivité des développeurs, la qualité des logiciels et permettra un âge d'or de développements dans les compilateurs et les outils de développement.

Bosque aborde cinq sources majeures de complexité accidentelle. Il s'agit de "État et cadres mutables", "Boucles, récursivité et invariants", "Comportements indéterminés", "Violations des invariants de données" et "Égalité et aliasing".

Comme mentionné ci-dessus, Bosques ne nécessite pas de boucles 'for', 'while', 'do while', il aborde les conditions d'une manière différente. Microsoft a introduit des «Functors» qui servent à la «boucle» et peuvent augmenter la qualité du logiciel. Vous pouvez voir comment 'Functors' diffère des 'boucles' dans l'image ci-dessous.

Ceux d'entre vous qui connaissent JavaScript et ses frameworks, TypeScript (qui est un sur-ensemble de JavaScript), comprendront les codes Bosque mieux que quiconque, car le langage Bosque est dérivé d'une combinaison de syntaxe et de types inspirés de TypeScript, ainsi que d'une sémantique inspirée de ML et Node/JavaScript. . Pour en savoir plus sur la langue bosque en détail consultez ce document de recherche de Microsoft. Vous pouvez également trouver des exemples de code sur GitHub.

Via: WinFuture