Разработчик создает язык программирования GALA с помощью Claude Code, отмечая, что строгая типизация повышает надежность кода, сгенерированного ИИ.

Что такое GALA?

GALA — это функциональный язык программирования, который транслируется в Go, разработанный с использованием Claude Code на протяжении всего процесса. Транспайлер написан на Go, а GALA добавляет несколько функций к Go, сохраняя совместимость с библиотеками Go, отладку с delve и профилирование с pprof. Проект является бесплатным и открытым исходным кодом под лицензией Apache 2.0.

Ключевые особенности GALA

• Запечатанные типы (алгебраические типы данных)
• Исчерпывающее сопоставление с образцом
• Неизменяемость по умолчанию
• Монады: Option[T], Either[A,B], Try[T]
• Транслируется в обычный код Go

Как Claude Code помог в разработке

Claude Code написал значительные части транспайлера, включая:

• Преобразование дерева разбора ANTLR в AST Go
• Правила вывода типов
• Генерацию кода для запечатанных типов
• Вывод типов параметров лямбда-выражений

Claude также реализовал сценарии боевого тестирования, где он писал программы на GALA (HTTP-серверы, конвейеры данных, пулы воркеров), чтобы нагрузить транспайлер и выявить ошибки. Более 40 ошибок были найдены и исправлены таким образом, причём Claude Code писал как тестовые примеры для воспроизведения, так и исправления.

Ключевое наблюдение о строгой типизации и Claude

Разработчик заметил, что когда Claude пишет код на GALA, компилятор обнаруживает ошибки, которые в Go прошли бы незамеченными. Например, с определением запечатанного типа:

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

Если вы напишете сопоставление, забыв вариант:

val msg = result match {
    case Ok(v) => fmt.Sprintf("got %d", v)
    // Ой — забыли case Err(msg)
}

Компилятор GALA сразу же отклоняет это. В Go switch с отсутствующим случаем скомпилировался бы нормально. Claude иногда пропускает случаи при генерации кода на Go, но в GALA компилятор немедленно обнаруживает эти ошибки.

Почему это важно для пользователей Claude Code

• Исчерпывающее сопоставление: Компилятор сообщает Claude, когда случай не обработан
• Неизменяемость по умолчанию: Меньше случайных ошибок мутации в сгенерированном коде
• Вывод типов: Claude пишет list.Map((x) => x * 2) вместо многословных аннотаций типов, уменьшая поверхность для ошибок
• Монадическая обработка ошибок: Try[T].Map().FlatMap().Recover() вместо цепочек if err != nil, которые Claude иногда ошибается

GALA доступен для тестирования с предварительно собранными бинарными файлами для Linux/macOS/Windows или через онлайн-песочницу в браузере.