Tacit: язык программирования, ориентированный на LLM, созданный с помощью Claude Code и Opus 4.7

Tacit — новый экспериментальный язык программирования, ориентированный на LLM, созданный с помощью Claude Code и Opus 4.7. Основная идея: разработать язык, который использует сильные стороны LLM и избавляется от ненужных человеческих удобств, стремясь к меньшему количеству токенов в генерируемом коде.

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

• Праймер для LLM: Инструментарий включает «праймер», который обучает LLM среднего уровня или выше (Sonnet и выше) писать код на Tacit. Это не компилятор, а механизм обучения для модели.
• Множество представлений исходного кода: Поддерживаются представления абстрактного синтаксического дерева (AST), зависящие от задачи, что позволяет получать разные представления одной и той же программы в зависимости от задачи.
• Стандартная библиотека, тестирование, упаковка: Включает стандартную библиотеку, поддержку модульного тестирования, управление пакетами и разрешение зависимостей.
• Возможность размещения в C/Rust: Среда выполнения языка может быть встроена как бинарный файл, написанный на другом языке (упоминаются C или Rust).

Эффективность использования токенов

Одной из явных целей было сокращение количества токенов. По словам создателя, Tacit преуспел в одних областях и потерпел неудачу в других. Конкретные показатели не приводятся, но оптимизация токенов является центральной концепцией дизайна.

Попробуйте сами

В блоге (ссылка в источнике) есть инструкции по экспериментам с Tacit с использованием вашей собственной модели LLM. Праймер и инструментарий находятся в открытом доступе.

Это ранняя стадия, но это конкретная попытка переосмыслить языки программирования для LLM текущего поколения — а не просто обернуть существующие языки промптами.