Val, un langage de programmation système de haut niveau

• Val : un langage de programmation axé sur la programmation système de haut niveau.
• Il a été conçu pour être rapide, sûr et simple.
• Val exploite une sémantique des valeurs mutables et la programmation générique.
• Il est compilé à l’avance en code machine afin d’éviter les allocations mémoire inutiles.
• La base de Val, fondée sur une sémantique des valeurs mutables, garantit la sûreté mémoire et la sûreté des types.
• Les programmeurs peuvent utiliser des constructions non sûres lorsque c’est nécessaire pour les performances.
• Val emprunte beaucoup à Swift et met l’accent sur la sémantique par valeur.
• Val est en cours de développement actif et son code est disponible en open source sur GitHub.
• En se concentrant sur une sémantique des valeurs mutables pour produire un code efficace et polyvalent, Val occupe une position originale.
• Il combine les contraintes physiques de l’architecture des ordinateurs avec les avantages d’une programmation centrée sur les valeurs.
• Val propose une visite du langage ainsi que des informations détaillées sur sa syntaxe et sa sémantique.
• Il n’est pas encore prêt à l’emploi, mais il est possible d’en discuter via le forum de la communauté.
• Les exemples de code de Val montrent l’utilisation de la sémantique des valeurs mutables et l’absence d’allocations superflues.
• Les sous-scripts de Val accordent temporairement le droit de lire ou d’écrire une valeur.
• Les types de Val sont des types valeur, et non des types référence.
• Val garantit qu’une fonction n’accède pas à la valeur de ses paramètres avant son retour.
• Val n’utilise pas d’annotations de durée de vie comme Rust.
• Val propose un modèle plus simple, sans références.

[GN⁺]

Commentaires sur Hacker News

• Val : un langage de programmation système de haut niveau qui vise à succéder à C++
• Il est compilé statiquement, doté d’un typage statique et interopérable avec C++
• Val supprime les pointeurs et les références, et utilise à la place en interne le passage par référence constante et la return-value-optimization
• La version alpha n’a pas encore été publiée, et le nombre d’étoiles et de contributeurs sur GitHub reste limité, mais certaines personnes soutiennent Val
• Des inquiétudes existent quant à la capacité de Val à prendre en charge le système d’exploitation Windows
• L’existence de plusieurs langages à abstraction sans coût comme Rust, Zig et Val est à la fois appréciée par certains programmeurs système et perçue comme un problème qu’ils aimeraient voir résolu
• Val est encore en cours de développement et n’est pas considéré comme un langage pleinement utilisable
• Val attire l’attention en raison de son lien avec Dave Abrahams (Dave Abrahams est une figure bien connue de la communauté de la programmation)
• Des questions et des discussions portent sur l’implémentation de Val, notamment sur le traitement des chaînes de caractères et la possibilité d’implémenter des structures de données auto-référentielles
• Val semble avoir des objectifs qui se recoupent avec Rust, Zig et Vale, mais pas avec Vala
• Val pourrait disposer d’une échappatoire similaire au unsafe de Rust, mais la question de savoir si le sous-ensemble sûr de Val est suffisant pour des applications réelles reste débattue
• Parmi les autres langages similaires à Val figurent V, Vala et Vale