- Дата публикации
Mog: язык программирования, который пишет ИИ для самого себя
Что появилось / что изменилось
В GitHub появился проект Mog — новый язык программирования, созданный специально для ИИ-агентов. Его ключевые параметры:
- Полная спецификация языка укладывается в 3200 токенов, что удобно для контекста языковых моделей.
- Язык статически типизирован и компилируется в нативный код, что исключает накладные расходы интерпретатора, JIT-компиляции или запуска нового процесса.
- Компилятор написан на безопасном Rust для упрощения аудита безопасности.
- Права доступа к функциям контролируются хост-приложением по принципу capability-based security, что позволяет безопасно делегировать права от агента к написанному им коду.
- Исходный код открыт под лицензией MIT.
Как это работает
Mog по своей сути — статически типизированный встраиваемый язык, похожий на Lua, но со строгой типизацией. ИИ-агент, например на базе GPT-4 или Claude 3, пишет на Mog программу (плагин, скрипт или хук). Затем этот код компилируется в машинный код и динамически загружается в основное приложение. Хост-приложение явно определяет, к каким функциям (например, к файловой системе или сети) имеет доступ каждый Mog-модуль. Это обеспечивает безопасность даже для кода, сгенерированного ИИ. Язык поддерживает async/await, которые не блокируют главный цикл агента, match-выражения для обработки результатов и f-строки для интерполяции.
Что это значит для вас
Если вы разрабатываете или используете продвинутых ИИ-агентов, Mog позволит им безопасно расширять собственный функционал. Агент сможет самостоятельно писать и запускать плагины для конкретных задач без риска получить неограниченный доступ к системе. Практическое применение:
- Автоматическое создание хуков для обработки контекста (например, повторное внесение ключевых напоминаний после компрессии истории диалога).
- Написание скриптов для обработки данных: конвертация файлов, анализ CSV, работа с файловой системой.
- Реализация сложной логики с повторными попытками (retry) для сетевых запросов.
- Выполнение ресурсоёмких вычислений (например, быстрое преобразование Фурье для тензоров) с минимальной задержкой благодаря нативному коду.
Язык не подойдёт для создания больших standalone-приложений или для задач, где критична экосистема готовых библиотек. Его ниша — безопасные, быстрые плагины, генерируемые ИИ.
Место на рынке
Mog не является прямым конкурентом таким языкам, как Python или TypeScript, для общего программирования. Его уникальность — в ориентации на генерацию языковыми моделями и безопасное исполнение в песочнице. По сравнению с использованием встроенного интерпретатора Python (как у некоторых агентов), Mog предлагает более высокую производительность и контроль за разрешениями. По сравнению с попытками писать на C или Rust, Mog проще для генерации ИИ из-за компактной спецификации и встроенных safety-механизмов. Прямых аналогов с открытым исходным кодом и такой же комбинацией статической типизации, нативной компиляции и capability-based модели безопасности на рынке сейчас нет.