Show GN: Gooo - 작은 모델로 코드를 조립하고 이어 만드는 언어

Gooo(Go Of Ontology)는 의도를 표현하고 프로그램을 조립하며 그 동작의 근거를 남기는 실험적 언어이고, 이 저장소는 그 Go 컴파일러예요. 소스 파일은 .gooo 확장자를 쓰고, 선언이 설계도 역할을 하면 작은 로컬 모델이 허용된 부품 중 무엇을 조립할지 제안하고 컴파일러가 들어맞는지 검사해 Go 코드를 만들어요. 시도할 때마다 의도, 선택, 생성된 코드, 테스트 결과, 남은 질문을 잇는 '영수증(receipt)'을 남겨요. 모델은 소스에 선언된 선택지의 순위만 매기게 해서 영향력을 제한하지만, 선언된 검사 범위를 넘어선 동작까지 증명하지는 않는다고 밝혀요. 네이티브 실행에는 Go 1.27.1을 써요.