Show HN: Jacquard, AI가 작성하고 인간이 검토하는 코드를 위한 프로그래밍 언어

Jacquard는 모델이 작성하고 인간이 검토하는 프로그램을 실행, 검토, 시뮬레이션하고 신뢰할 수 있도록 설계된 FriendMachine의 연구 프로젝트입니다. 현재 0.1 릴리스 단계의 연구용 프로토타입으로 제공됩니다.

이 언어는 기존 언어와 달리 다음과 같은 핵심 기능을 제공합니다:

• 효과(Effects) 노출: 함수가 네트워크 통신 등 어떤 외부 효과를 일으킬 수 있는지 언어 수준에서 명시하며, 허가되지 않은 효과는 런타임에서 거부됩니다.
• 다중 환경 시뮬레이션: 동일한 코드를 실제 네트워크, 가상 스크립트, 또는 확률 모델 등 다양한 환경(Handler)에서 실행하여 에이전트의 동작을 테스트할 수 있습니다.
• 확률적 추론: 유한 이산 모델에 대해 정확한 확률을 계산하여, 테스트 실패 시 가능한 패치와 그 확률을 도출할 수 있습니다.
• 구조적 정체성(Canonical Identity): 코드의 주석이나 포맷팅이 달라도 구조가 같다면 동일한 코드로 인식하여, 불필요한 테스트 재실행을 방지합니다.

이 프로젝트는 AI 에이전트가 작성한 코드가 무엇을 건드릴 수 있는지, 그리고 얼마나 확실한지를 인간 검토자가 코드 전체를 읽지 않고도 즉각적으로 파악할 수 있게 하는 것을 목표로 합니다.