Lisette : syntaxe Rust, runtime Go¶

Resume¶

Lisette est un nouveau langage de programmation qui combine la syntaxe de Rust (types algebriques, pattern matching, immutabilite par defaut, inference de types Hindley-Milner) avec le runtime de Go (goroutines, GC, ecosysteme). Le code Lisette compile vers du Go, permettant de profiter de tout l'ecosysteme Go existant.

Analyse critique¶

L'idee est seduisante sur le papier : la rigueur de Rust sans le borrow checker, la simplicite du runtime Go sans les limites du systeme de types Go. Le choix de Hindley-Milner pour l'inference est ambitieux — c'est ce qui fait la force de Haskell/OCaml mais c'est dur a implementer correctement.

A nuancer : un enieme langage "le meilleur des deux mondes" qui risque de n'avoir ni la communaute de Rust ni celle de Go. La compilation vers Go est un choix pragmatique (ecosysteme existant) mais pose la question : pourquoi ne pas ecrire directement en Go avec des generics ?

Pertinence ProbatioVault¶

Pas d'impact direct. ProbatioVault utilise TypeScript (backend NestJS), Swift (iOS), et Python (scripts gouvernance). Aucun composant n'est en Go ou Rust.