AI 요약
자크아드(Jacquard)는 AI가 코드를 작성하고 사람이 검토하는 환경을 위해 설계된 새로운 프로그래밍 언어다. OCaml로 작성된 체커와 CPS 인터프리터, C 네이티브 AOT 백엔드를 갖추고 있으며, 함수가 수행할 수 있는 효과(effect)를 언어 수준에서 명시적으로 노출한다. 또한 동일한 코드를 실제 네트워크, 스크립트된 가짜, 확률 모델 등 다양한 '세계(world)'에서 실행할 수 있어 기존의 모킹(mocking)을 대체할 수 있다. 현재는 연구용 프로토타입(v0.1)이며, 리눅스 x86-64, macOS Intel/Apple Silicon 바이너리를 제공한다.
핵심 포인트
- 함수 시그니처에 효과 표기:
(text) ->{net} text형태로 네트워크 효과 수행 가능 여부 명시 - 런타임이 처리되지 않은 세계 효과를 거부하며,
--allow플래그로 권한을 명시적으로 부여해야 함 - 동일 코드를 여러 세계(실제 네트워크, 스크립트 가짜, 녹화 트래픽, 확률 모델)에서 변경 없이 실행 가능
- 정식 구조(canonical resolved structure)를 해싱하여 주석, 포맷팅, 이름 변경 등이 정체성에 영향을 주지 않음
향후 전망
- AI 생성 코드의 신뢰성 검증과 효과 제어를 위한 새로운 패러다임을 제시할 가능성
- 연구 프로토타입에서 프로덕션 언어로 발전할 경우 AI 에이전트 안전성 분야에 기여할 수 있음
출처:hackernews