Développeur Crée le Langage de Programmation GALA avec Claude Code, Note que le Typage Fort Améliore la Fiabilité du Code Généré par l'IA

Qu'est-ce que GALA ?

GALA est un langage de programmation fonctionnel qui se transpile en Go, développé en utilisant Claude Code tout au long du processus. Le transpileur est écrit en Go, et GALA ajoute plusieurs fonctionnalités à Go tout en conservant la compatibilité avec les bibliothèques Go, le débogage avec delve et le profilage avec pprof. Le projet est gratuit et open source sous licence Apache 2.0.

Caractéristiques principales de GALA

• Types scellés (types de données algébriques)
• Filtrage par motif exhaustif
• Immutabilité par défaut
• Monades : Option[T], Either[A,B], Try[T]
• Se transpile en code Go standard

Comment Claude Code a contribué

Claude Code a écrit des parties importantes du transpileur, notamment :

• La transformation de l'arbre syntaxique ANTLR en AST Go
• Les règles d'inférence de types
• La génération de code pour les types scellés
• L'inférence de types pour les paramètres lambda

Claude a également implémenté des scénarios de test intensifs où il a écrit des programmes GALA (serveurs HTTP, pipelines de données, pools de travailleurs) pour stresser le transpileur et identifier des bugs. Plus de 40 bugs ont été trouvés et corrigés de cette manière, avec Claude Code écrivant à la fois les cas de test de reproduction et les correctifs.

Observation clé sur le typage fort et Claude

Le développeur a observé que lorsque Claude écrit du code GALA, le compilateur détecte les erreurs qui passeraient silencieusement en Go. Par exemple, avec une définition de type scellé :

sealed type Result[T any] {
    case Ok(Value T)
    case Err(Message string)
}

Si vous écrivez un match qui oublie une variante :

val msg = result match {
    case Ok(v) => fmt.Sprintf("got %d", v)
    // Oups -- j'ai oublié case Err(msg)
}

Le compilateur GALA le rejette immédiatement. En Go, un switch avec un cas manquant compilerait correctement. Claude oublie parfois des cas lorsqu'il génère du code Go, mais dans GALA, le compilateur détecte ces erreurs immédiatement.

Pourquoi cela compte pour les utilisateurs de Claude Code

• Filtrage exhaustif : Le compilateur indique à Claude quand un cas n'est pas traité
• Immutabilité par défaut : Moins de bugs de mutation accidentelle dans le code généré
• Inférence de types : Claude écrit list.Map((x) => x * 2) au lieu d'annotations de types verbeuses, réduisant la surface d'erreur
• Gestion d'erreurs monadique : Try[T].Map().FlatMap().Recover() au lieu de chaînes if err != nil que Claude se trompe parfois

GALA est disponible pour essayer avec des binaires pré-construits pour Linux/macOS/Windows, ou via un terrain de jeu en ligne dans le navigateur.