Jacquard - Programming language for AI-written, human-reviewed code

Show HN: Jacquard, a programming language for AI-written, human-reviewed code

Jacquard는 대부분의 코드가 기계 학습 모델에 의해 작성되고 사람이 검토하는 시대를 위해 설계된 작은 프로그래밍 언어입니다. 이 언어는 프로그램이 수행할 수 있는 효과(effect)를 명시적으로 드러내어, 한 줄만 읽어도 함수가 네트워크에 접근할 수 있는지 알 수 있습니다. 또한, 동일한 코드를 실제 네트워크, 스크립트된 가짜, 또는 확률 모델 등 다양한 '세계(world)'에서 실행할 수 있어, 기존의 mocking을 대체하고 API 장애 시나리오를 쉽게 테스트할 수 있습니다. 유한한 이산 모델의 정확한 확률을 열거하는 기능과, 코드의 구조적 정체성을 해시로 관리하여 리팩토링 시에도 테스트 캐시를 효율적으로 유지합니다. Jacquard는 인간 검토자에게 '이 코드가 무엇에 접근할 수 있고, 얼마나 확신할 수 있는가'를 언어 자체가 답해주는 것을 목표로 합니다.