Wyzer : un langage compilé pour la sécurité distribuée
Original : Show HN: Wyzer Programming Language
Pourquoi c'est important
Wyzer explore une approche rare pour sécuriser les architectures distribuées au niveau du langage.
Wyzer est un langage de programmation statiquement typé, compilé et orienté ressources. Il intègre la programmation chorégraphique et un modèle mémoire Perceus pour résoudre les problèmes de sécurité dans les systèmes distribués, là où Rust reste limité.
Wyzer est un nouveau langage de programmation open source publié sur GitHub par Wyzer-Lang. Il se distingue par l'intégration native de la programmation chorégraphique, une approche visant à garantir la correction des protocoles entre services distribués. Selon ses créateurs, Rust assure la sécurité au sein d'un processus, mais ne traite pas les deadlocks distribués, les erreurs de protocole entre services ni la correction cross-service. Wyzer adopte le modèle mémoire Perceus, connu pour sa gestion efficace des références sans ramasse-miettes. Le projet compte déjà 87 étoiles sur GitHub et 4 forks. La documentation officielle couvre les variables, types, flux de contrôle, fonctions, structs et le modèle mémoire. Les contributions sont encouragées via un fichier RESEARCH.md dédié et un serveur Discord communautaire. Le projet est distribué sous licence Apache-2.0.