Entwickler baut GALA-Programmiersprache mit Claude Code, stellt fest: Starke Typisierung verbessert Zuverlässigkeit KI-generierter Codes

Was ist GALA?

GALA ist eine funktionale Programmiersprache, die zu Go transpiliert und während des gesamten Entwicklungsprozesses mit Claude Code erstellt wurde. Der Transpiler ist in Go geschrieben, und GALA fügt Go mehrere Funktionen hinzu, während die Kompatibilität mit Go-Bibliotheken, das Debugging mit delve und das Profiling mit pprof erhalten bleiben. Das Projekt ist kostenlos und quelloffen unter der Apache-2.0-Lizenz.

Hauptmerkmale von GALA

• Versiegelte Typen (algebraische Datentypen)
• Erschöpfendes Pattern Matching
• Standardmäßige Unveränderlichkeit
• Monaden: Option[T], Either[A,B], Try[T]
• Transpiliert zu reinem Go-Code

Wie Claude Code beigetragen hat

Claude Code hat wesentliche Teile des Transpilers geschrieben, darunter:

• ANTLR-Parsebaum-zu-Go-AST-Transformation
• Typinferenzregeln
• Codegenerierung für versiegelte Typen
• Typinferenz für Lambda-Parameter

Claude hat auch Belastungstestszenarien implementiert, bei denen es GALA-Programme (HTTP-Server, Datenpipelines, Worker-Pools) schrieb, um den Transpiler zu testen und Fehler zu identifizieren. Auf diese Weise wurden über 40 Fehler gefunden und behoben, wobei Claude Code sowohl die Reproduktionstestfälle als auch die Korrekturen schrieb.

Wichtige Beobachtung zu starker Typisierung und Claude

Der Entwickler beobachtete, dass der Compiler Fehler in GALA-Code, den Claude schreibt, abfängt, die in Go stillschweigend durchgehen würden. Zum Beispiel bei einer Definition eines versiegelten Typs:

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

Wenn man ein Match schreibt, das eine Variante vergisst:

val msg = result match {
    case Ok(v) => fmt.Sprintf("got %d", v)
    // Oops -- forgot case Err(msg)
}

Lehnt der GALA-Compiler es sofort ab. In Go würde ein switch mit einem fehlenden Fall problemlos kompilieren. Claude übersieht manchmal Fälle, wenn es Go-Code generiert, aber in GALA fängt der Compiler diese Fehler sofort ab.

Warum das für Claude-Code-Nutzer wichtig ist

• Erschöpfendes Matching: Der Compiler sagt Claude, wenn ein Fall nicht behandelt wird
• Standardmäßige Unveränderlichkeit: Weniger versehentliche Mutationsfehler im generierten Code
• Typinferenz: Claude schreibt list.Map((x) => x * 2) anstelle ausführlicher Typannotationen, was die Fehleranfälligkeit reduziert
• Monadische Fehlerbehandlung: Try[T].Map().FlatMap().Recover() anstelle von if err != nil-Ketten, die Claude manchmal falsch macht

GALA kann mit vorgefertigten Binärdateien für Linux/macOS/Windows ausprobiert werden oder über einen Online-Playground im Browser.