synsema

Synsema — это язык программирования, специально разработанный для ИИ-агентов. Он отличается от фреймворков и библиотек тем, что делает наблюдаемость, безопасность, координацию мультиагентных систем, взаимодействие с человеком и интеграцию с LLM нативными примитивами языка. Он компилируется в один нативный бинарный файл без среды выполнения, без GIL и с настоящей поддержкой многоядерности. Ключевые возможности: - **Производительность**: бенчмарки показывают, что он не уступает Go или превосходит его по пропускной способности HTTP (например, 47,2 тыс. запросов/с против 42,8 тыс. для обычных текстовых эндпоинтов). - **Безопасность**: безопасность возможностей по принципу запрета по умолчанию на уровне языка — нет доступа к сети, файлам или БД без явных объявлений `require`. Включает декларативную аутентификацию маршрутов, валидацию входных данных и автоматические журналы аудита. Необязательные метки информационных потоков отслеживают конфиденциальные значения через операции и ветвления, а `declassify` является единственным способом снятия ограничения. Поддержка аттестации привязывает исполняемый код к его исходному коду в конфиденциальных развёртываниях. - **Интеграция с LLM**: встроенные операции `analyze`, `decide` и `generate` со сменными провайдерами (Anthropic, OpenAI, Ollama). Ответы автоматически валидируются с повторными попытками. - **Взаимодействие с человеком**: примитивы `approve`, `ask`, `confirm` и `show` для шлюзов одобрения и вопросов. - **Координация мультиагентных систем**: агенты взаимодействуют через доску объявлений (общее состояние с версионированием), сигналы и блокировки ресурсов. `spawn` создаёт агентов с потоками ОС. - **Конкурентность**: настоящий многоядерный параллелизм через `parallel_map` и `chunk` с ограниченным ветвлением и семантикой быстрого отказа. - **Веб-сервер**: нативный HTTP-сервер с маршрутизацией, аутентификацией, валидацией, пагинацией, ограничением скорости, SSE-стримингом, TLS/авто-HTTPS, HTTP/2, виртуальными хостами и обратным прокси — внешний прокси не нужен. - **Наблюдаемость**: примитивы `trace`, `log`, `measure` и `checkpoint`, а также подробная диагностика ошибок со снимками переменных и рекомендациями по восстановлению. - **Память агента**: отслеживание прогресса, постоянная память (`remember`/`recall`) и правила владельца с уровнями (must/should/avoid/prefer). - **Дизайн языка**: синтаксис, похожий на английский (например, `let name be "World"`, `task greet(person)`), оператор конвейера, интенциональные операции (`where`, `collect`, `apply`, `reduce`), пользовательские типы и плоский синтаксис в стиле документов для файлов `.fsyn`. - **Инструменты**: CLI с командами `run`, `serve`, `check`, `repl`, `ast`, `tokens` и `testgen`. Автоматически генерирует тесты для граничных случаев. Включает расширение для VS Code и ИИ-навык для помощников по программированию, таких как Claude Code. Установка выполняется одним самодостаточным бинарным файлом через curl или npm, а сборка из исходного кода — через Cargo. Движок модульный и организован в крейты для ядра, возможностей, стандартной библиотеки, агентов, среды выполнения, LLM и CLI.