Gleam - un langage de programmation apportant la sûreté de typage à la machine virtuelle Erlang

• Gleam : un nouveau langage pour la VM Erlang, offrant sûreté de typage et extensibilité
• Programmation fonctionnelle : combine la puissance d’un système de types avec l’expressivité de la programmation fonctionnelle
• Runtime Erlang : s’appuie sur le runtime Erlang, hautement concurrent et tolérant aux pannes, utilisé dans des systèmes comme WhatsApp
• Syntaxe moderne : propose une syntaxe familière pour les développeurs, réduisant la courbe d’apprentissage
• Concurrence : se distingue par un système de concurrence basé sur des acteurs multicœurs pouvant exécuter des millions de tâches simultanément
• Performances : exploite des structures de données immuables rapides et un ramasse-miettes concurrent qui n’interrompt pas le système
• Outils pour développeurs : fournit des outils pour configurer facilement les projets, dont un compilateur, un outil de build, un formateur, l’intégration éditeur et un gestionnaire de paquets
• Écosystème BEAM : compatible avec des milliers de paquets de l’écosystème BEAM, y compris les bibliothèques Erlang et Elixir
• Interopérabilité JavaScript : peut compiler vers JavaScript et générer des définitions TypeScript pour un usage applicatif plus large
• Gestion des erreurs : conçu pour éviter les valeurs null et les exceptions, tout en fournissant des messages d’erreur clairs et un système de types pratique
• Axé sur la communauté : met en avant une communauté accueillante et inclusive, ainsi qu’un code de conduite solide
• Bibliothèques open source : donne accès aux riches bibliothèques open source des autres langages BEAM
• Support et sponsoring : encourage le soutien et le sponsoring de la communauté pour favoriser le développement et la croissance

[GN⁺]

Avis de Hacker News

• Éloges de la syntaxe de Gleam, en particulier de la fonctionnalité des arguments étiquetés
• Discussions et historique des versions montrant un intérêt et un développement continus autour de Gleam
• Intérêt pour des retours de production de la part de personnes familières avec d’autres écosystèmes comme .NET, Go ou Node
• Reconnaissance du système de types de Gleam, avec confirmation de l’utilisation de l’inférence de types Hindley-Milner
• Curiosité concernant l’intégration de Gleam avec OTP, et manque d’exemples de supervision trees et de gen servers
• Accueil positif de l’apparition de nouveaux langages comme Gleam qui font avancer la technologie, malgré une certaine confusion due aux similarités de syntaxe
• Gleam écrit en Rust, démontrant les capacités de Rust pour le développement de langages et la popularité de Gleam parmi les langages écrits en Rust
• Enthousiasme pour la croissance potentielle de Gleam et sa contribution au domaine des langages de scripting typés