Building a Rust-ish programming language with 100% coding agents: Wado

À propos de Building a Rust-ish programming language with 100% coding agents: Wado

Wado est un langage de programmation expérimental, statiquement typé et compilé en WebAssembly, qui se positionne comme une alternative « Rust-ish » avec une ergonomie rappelant TypeScript. Développé dans une philosophie de transparence totale — le titre du projet évoque le fait qu’il a été conçu « à 100 % par des agents de codage » —, Wado cible le Component Model WebAssembly et WASI (WebAssembly System Interface). Il produit des modules .wasm compacts et autonomes, sans nécessiter de runtime mémoire embarqué.

Le langage est accessible via un terrain de jeu en ligne (playground) à l’adresse https://wado-lang.org/playground/ , ce qui permet aux développeurs de tester immédiatement la syntaxe et les fonctionnalités sans installation locale. La chaîne d’outils CLI inclut des commandes telles que compile, run, serve, test, format, dump et syntax. Bien que décrit comme expérimental, le projet propose déjà des abstractions modernes comme les génériques, les closures, les traits (traits), le pattern matching et un système d’effets intégré au type des fonctions.

Wado se distingue par sa volonté de simplifier le développement d’applications WebAssembly tout en maintenant une sécurité de type comparable à Rust. Il cible particulièrement les cas où la taille du binaire et la portabilité sont cruciales. Le projet est entièrement open source, sans modèle commercial public connu à ce jour.

Fonctionnalités principales

Wado propose un ensemble de fonctionnalités qui le rendent attrayant pour les développeurs intéressés par l’écosystème WebAssembly de pointe.

Typage statique et expressif : Le langage intègre des génériques, des closures, des traits (similaires aux interfaces Rust), du pattern matching et un système d’effets. Par exemple, une fonction qui écrit sur la sortie standard peut le déclarer via une clause with Stdout dans son type, rendant les effets secondaires explicites et traçables.

Compilation native en WebAssembly : Wado compile directement en modules .wasm autonomes, sans runtime mémoire lourd. Cela permet d’obtenir des binaires extrêmement petits, idéaux pour des environnements où la taille du module est critique, comme les microservices, les extensions navigateur ou les appareils contraints.

Import et export Wasm natifs : Le langage supporte les imports de style ES modules via une bibliothèque standard nommée et permet d’exporter un point d’entrée vers wasi:cli/command. Cette intégration native au Component Model facilite la composition de modules WebAssembly hétérogènes.

Outillage CLI complet : La commande en ligne wado offre plusieurs sous-commandes pratiques : wado compile pour transformer le code en Wasm, wado run pour exécuter localement, wado serve pour lancer un service HTTP, wado test pour exécuter les tests, wado format pour formater le code, wado dump pour inspecter le module compilé, et wado syntax pour valider la syntaxe. Cet outillage rend le développement fluide dès les premières étapes.

Sémantique orientée sécurité : Le système d’effets permet d’inclure les effets secondaires dans le type des fonctions, ce qui renforce la vérification statique. Combiné au typage fort, cela réduit les bugs d’exécution courants.

Conception pour la compacité : Chaque décision de conception, du choix des abstractions à l’absence de runtime embarqué, vise à produire les plus petits modules Wasm possibles, sans sacrifier la sécurité de type.

Tarification

Wado est un projet open source. Aucune page de tarification publique n’a été trouvée dans les sources disponibles. Il semble donc qu’aucune offre commerciale n’existe pour le moment. Le code source, la CLI et le terrain de jeu en ligne sont librement accessibles. Les développeurs peuvent utiliser Wado sans aucun frais. Si un modèle tarifaire devait émerger à l’avenir (par exemple, pour des services hébergés, des fonctionnalités avancées ou un support entreprise), rien n’est documenté à ce stade. L’absence de prix reflète le caractère expérimental et communautaire du projet.

Cas d’utilisation

Wado s’adresse principalement aux développeurs et équipes qui travaillent avec WebAssembly, WASI et le Component Model. Voici les cas d’usage les plus pertinents.

Modules Wasm embarqués : Quand la taille binaire et la sécurité de type sont des priorités absolues, Wado permet de créer des modules ultra-compacts. Cela convient aux applications où chaque kilooctet compte : microcontrôleurs, extensions de navigateur, fonctions serverless, ou composants IoT.

Outillage CLI et petits services WASI : Grâce à sa CLI intégrée et son support WASI, Wado peut servir à écrire des commandes en ligne légères, des outils de développement ou des microservices autonomes qui s’exécutent dans tout runtime WASI compatible (Wasmer, Wasmtime, etc.).

Expérimentation avec le Component Model : Le projet est en phase avec le futur de WebAssembly, notamment le Component Model et l’interopérabilité entre modules. Les développeurs qui anticipent l’écosystème Wasm de nouvelle génération peuvent utiliser Wado pour prototyper et valider des architectures composables.

Projets de recherche ou d’apprentissage : Pour ceux qui veulent explorer un langage « Rust-ish » sans la complexité d’apprentissage de Rust, Wado offre une porte d’entrée moderne. Il peut servir de base pour enseigner la compilation vers Wasm, le typage statique ou les systèmes d’effets.

Applications WebAssembly ciblant la portabilité : Wado permet de produire des modules qui s’exécutent aussi bien dans un navigateur, sur un serveur ou dans un environnement embarqué, grâce à la portabilité intrinsèque de WebAssembly.

Notre avis

Wado est un projet prometteur mais clairement précoce. Sa force réside dans une vision cohérente : offrir un langage haut niveau, sûr et compilé en WebAssembly, avec une attention particulière à la taille des binaires et à l’intégration native au Component Model. L’outillage CLI déjà fonctionnel (compile, run, serve, test, etc.) démontre une maturation rapide, et le terrain de jeu en ligne facilite la prise en main.

Points forts : La légèreté des modules, l’expressivité du typage (traits, génériques, effets), l’intégration WASI native, et la transparence du développement (projet 100 % agents de codage). L’approche « sans runtime mémoire embarqué » est une différenciation claire par rapport à d’autres langages Wasm.

Points faibles : Le caractère expérimental limite la confiance pour des projets de production à ce stade. La dépendance à l’écosystème Wasm (notamment au support navigateur du Component Model et à l’intégration avec Wasm GC) peut freiner l’adoption. L’écosystème de bibliothèques et de communautés est probablement encore très restreint comparé à Rust ou AssemblyScript. Enfin, aucun modèle commercial n’étant public, les entreprises doivent évaluer le risque de maintenance à long terme.

Recommandation : Wado est idéal pour les développeurs curieux, les prototypages rapides, les preuves de concept et les projets expérimentaux autour de WebAssembly. Pour une utilisation en production, il faudra attendre une plus grande maturité, une communauté plus large et éventuellement un support professionnel. Si votre priorité est la fiabilité immédiate, Rust vers Wasm reste la référence. Si vous cherchez une alternative plus légère avec une syntaxe TypeScript-like, AssemblyScript peut être plus adapté aujourd’hui.

En conclusion, Wado est un langage à surveiller de près pour ceux qui investissent dans le futur de WebAssembly, mais pas encore un outil pour tous les projets.