Представлен Jacquard: новый язык программирования, разработанный для написания кода ИИ и проверки человеком
Разработчик представил экспериментальный язык программирования Jacquard, синтаксис которого был создан ИИ после анализа других языков, чтобы стать максимально удобным для машинного написания.
В эпоху, когда ИИ берет на себя всё больше задач по написанию кода, представлен open-source проект «Jacquard». Это компактный язык программирования, спроектированный для реальности, где основной код создает ИИ, а человек лишь проверяет его корректность. Название отсылает к жаккардовому ткацкому станку — пионеру программируемых систем на перфокартах.
Уникальность Jacquard заключается в методе разработки: автор использовал ИИ для анализа абстрактных синтаксических деревьев (ASTs) популярных языков, чтобы синтезировать структуру, максимально понятную для нейросетей.
Ключевая особенность Jacquard — безопасность и контроль внешних воздействий. Любые операции с файловой системой или сетью должны быть явно указаны в сигнатурах функций, а выполнение запрещено без явного разрешения при запуске, что минимизирует риски при работе с ИИ-кодом.
Кроме того, язык использует контентно-адресуемую идентификацию кода: система опирается на «смысл» кода, а не на его текстовое представление. Это позволяет менять форматирование, добавлять комментарии или переименовывать переменные без необходимости перекомпиляции или повторного тестирования. На данный момент проект является исследовательским прототипом и не предназначен для продакшена.
Jacquard знаменует сдвиг в разработке инструментов: создание языков не для человека, а для взаимодействия с ИИ. Акцент на безопасности и проверяемости может стать основой будущего разработки ПО.