Bosque est un langage de programmation gratuit et open source développé par Microsoft. Il est dérivé de la syntaxe et des types de TypeScript et de la sémantique des langages ML et Node / JavaScript. Les utilisateurs ayant une formation en JavaScript trouveront Bosque familier. Il est conçu pour écrire du code simple, évident et facile à lire pour les humains et les machines. Bosque se concentre sur les implications de:
Conception d'un bytecode qui permet un raisonnement de code approfondi et automatisé et le déploiement d'outils de développement, de compilateurs et de systèmes d'exécution.
Utiliser la puissance du bytecode pour fournir un langage de programmation facilement accessible aux développeurs modernes. Il fournit également un riche ensemble de fonctionnalités linguistiques pour développer des applications fiables et performantes.
Faire du développement du cloud la priorité pour relever les défis liés à l'adoption du modèle de développement du cloud distribué.
Bosque prend en charge un système de type simple et sans opinion qui permet aux développeurs d'utiliser une gamme de types structurels, nominaux et combinés pour transmettre l'intention et coder les caractéristiques du domaine du problème.
Fonctionnalités du langage de programmation Bosque
Les caractéristiques notables de Bosque comprennent:
Immuable
Toutes les valeurs du langage Bosque sont immuables, ce qui signifie que l'état ne peut pas être modifié après sa création. Ceci est populaire avec de nombreux langages fonctionnels et améliore la lisibilité et l'efficacité d'exécution.
Chaînes tapées
Les chaînes typées fournissent une structure connue sur le contenu d'une chaîne dans le type d'une manière qui est utile aux humains. Bosque propose deux types de chaînes typées, SafeString et StringOf.
SafeString est paramétré avec un type d'expression régulière Validator, il décrit donc le langage auquel appartient la chaîne.
StringOf est paramétré par tout type implémentant le concept Parsable, ce qui le rend idéal pour travailler avec des données fournies dans un format personnalisé ou une validation légère.
Opérations algébriques en masse
Cette fonctionnalité prend en charge les lectures groupées et les mises à jour des valeurs de données. Avec les opérations en bloc, les mises à jour peuvent être effectuées en tant qu'opération atomique sans extraire et copier manuellement les champs.
Erreurs et contrôles
Bosque vise à simplifier le processus de création de logiciels fiables. La langue prend en charge les erreurs et les vérifications. Il exprime également une gamme d'invariants, de contrôles de cohérence et d'assertions de diagnostic.