synsema

Synsema는 AI 에이전트를 위해 특별히 설계된 프로그래밍 언어로, 관찰 가능성, 보안, 다중 에이전트 조정, 인간 상호작용, LLM 통합을 언어의 기본 요소로 만들어 프레임워크나 라이브러리와 차별화됩니다. 런타임 없이 단일 네이티브 바이너리로 컴파일되며, GIL이 없고 진정한 멀티코어를 지원합니다. 주요 기능은 다음과 같습니다: - **성능**: 벤치마크에 따르면 HTTP 처리량에서 Go와 동등하거나 더 우수합니다(예: 일반 텍스트 엔드포인트에서 47.2k req/s 대 42.8k req/s). - **보안**: 언어 수준에서 기본 거부(deny-by-default) 기능 보안을 제공합니다—명시적인 `require` 선언 없이는 네트워크, 파일, DB 접근이 불가능합니다. 선언적 라우트 인증, 입력 검증, 자동 감사 로그를 포함합니다. 선택적 정보 흐름 레이블은 작업과 분기를 통해 민감한 값을 추적하며, `declassify`만이 유일한 탈출구입니다. 증명 지원은 기밀 배포에서 실행 코드를 소스에 바인딩합니다. - **LLM 통합**: 내장된 `analyze`, `decide`, `generate` 작업을 제공하며 공급자(Anthropic, OpenAI, Ollama)를 교체할 수 있습니다. 응답은 자동으로 검증되고 재시도됩니다. - **인간 상호작용**: 승인 게이트와 질문을 위한 `approve`, `ask`, `confirm`, `show` 기본 요소를 제공합니다. - **다중 에이전트 조정**: 에이전트는 블랙보드(버전 관리가 있는 공유 상태), 신호, 리소스 잠금을 통해 통신합니다. `spawn`은 OS 스레드로 에이전트를 생성합니다. - **동시성**: `parallel_map`과 `chunk`을 통한 실제 멀티코어 병렬 처리로, 제한된 팬아웃과 빠른 실패(fail-fast) 의미론을 제공합니다. - **웹 서버**: 라우팅, 인증, 검증, 페이지네이션, 속도 제한, SSE 스트리밍, TLS/자동 HTTPS, HTTP/2, 가상 호스트, 리버스 프록시를 갖춘 네이티브 HTTP 서버를 제공합니다—외부 프록시가 필요 없습니다. - **관찰 가능성**: `trace`, `log`, `measure`, `checkpoint` 기본 요소와 변수 스냅샷 및 복구 제안을 포함한 풍부한 오류 진단을 제공합니다. - **에이전트 메모리**: 진행 상황 추적, 영구 메모리(`remember`/`recall`), 수준(must/should/avoid/prefer)이 있는 소유자 규칙을 지원합니다. - **언어 설계**: 영어와 유사한 구문(예: `let name be "World"`, `task greet(person)`), 파이프 연산자, 의도적 작업(`where`, `collect`, `apply`, `reduce`), 사용자 정의 유형, `.fsyn` 파일을 위한 평면 문서 스타일 구문을 제공합니다. - **도구**: `run`, `serve`, `check`, `repl`, `ast`, `tokens`, `testgen` 명령을 포함한 CLI를 제공합니다. 엣지 케이스 테스트를 자동 생성합니다. VS Code 확장과 Claude Code와 같은 코딩 어시스턴트를 위한 AI 스킬을 포함합니다. 설치는 curl 또는 npm을 통한 단일 자체 포함 바이너리이며, Cargo를 통한 소스 빌드도 가능합니다. 엔진은 모듈식으로 구성되어 있으며, 코어, 기능, 표준 라이브러리, 에이전트, 런타임, LLM, CLI를 위한 크레이트로 구성됩니다.