작은 도구를 만들면서 Gooo를 발전시키기

업데이트: 2026-10-09 KST.

Gooo는 프로그램의 의미와 조립 가능한 선택지를 소스에 적고, 작은 모델의 제안과 실제 검사 결과를 이용해 코드를 구성하는 메타프로그래밍 언어로 발전시킵니다. 다른 개발자가 작은 도구를 만들어 사용하고, 실패한 지점을 다음 언어 기능으로 이어갈 수 있게 하는 것이 지금의 목표입니다.

작업장을 생각하면 쉽습니다. 온톨로지는 부품의 이름과 관계를 정하고, Gooo 소스는 조립 규칙과 확인할 작동을 적습니다. 모델은 어느 조합부터 시도할지 제안합니다. 컴파일러는 그 조합을 실행 가능한 코드로 만들고, 관측 기록은 어떤 입력에서 무엇이 맞았고 남았는지 보여줍니다. 모델을 연결하지 않아도 정해진 순서로 진행합니다.

지킬 설계 기준

요소	맡는 일	바꿀 때 확인할 것
Gooo 소스와 온톨로지	개념의 의미, 타입, 관계, 허용할 조립과 의무	의미와 선택 공간이 어디서 달라지는지
컴파일러	선언을 검사하고 본문과 실행 구조로 변환	같은 소스의 변환과 출처가 재현되는지
자체 소형 모델	선언된 선택지의 시도 순서를 제안	같은 후보·검사·예산에서 결과가 어떻게 바뀌는지
검사와 실제 실행	명시한 기대값과 의무를 관측	사례·필드·입력의 분모와 아직 확인하지 못한 범위
PROV와 실행 기록	소스, 선택, 산출물과 관측을 연결	이전 판단을 어떤 근거로 이어 쓰거나 다시 검사하는지

모델을 교체해도 허용되는 구성과 검사 기준은 소스에 남습니다. 제한된 예산에서 고른 프로그램은 달라질 수 있으므로 실제 출력도 비교합니다. 도메인을 교체하는 실험에서는 개념과 의무의 변경을 명시합니다. 현재 두 도메인 도구는 지원하는 레코드 구성 안에서 공통 보고 타입과 렌더링 패키지를 재사용합니다.

지금 직접 확인할 수 있는 흐름

공개 컴파일러로 진단 도구를 만들 수 있습니다. 조건, 변수 대입, 필드 선택지와 검사 사례가 Gooo에 들어 있습니다. 모델 없이 시작하고, 자체 QAT 모델을 연결해 같은 과제를 비교할 수 있습니다.

0.6.6 공개 macOS arm64 파일로 관측한 진단 도구는 기대 출력 8/8, 보조 함수 호출 앱은 4/4를 충족했습니다. 두 과제에서 결정론 순서는 네 후보, 모델 순서는 두 후보를 시도해 같은 생성 코드와 출력을 얻었습니다. 일찍 멈춘 경우에는 부품 검사 3/5와 앱 출력 2/4가 남고, 다른 Gooo 도구가 CONTINUE_CANDIDATES를 제안했습니다. 부분 결과와 원본에서 이어 읽을 수 있습니다.

저장한 프로그램을 새 입력에 실행하는 경로는 추가 추론 0회입니다. 이 관측은 두 작은 과제와 명시한 기대값에 적용됩니다. 외부 사용자가 독립적으로 설치하고 자신의 문제로 확장한 결과를 다음 공개 기록으로 축적합니다.

구현된 다음 단계와 이어갈 순서

보조 함수 후속 조립은 0.6.7 개발판부터 공개했습니다. 중첩 함수 앱은 0/2에서 2/2, 진단 앱은 2/4에서 4/4로 이어졌습니다. 모델의 과거 제안은 보존하고, 바뀐 함수에 의존하는 후보의 현재 점수를 다시 계산합니다. package resume도 Gooo 정책과 저장한 조립 기록을 받아 남은 후보를 이어 만듭니다. 최신 배포·설치 상태와 각 관측의 원본은 현재 상태에 있습니다.

구현한 부분	실제 사용 사례	이어서 확인할 범위
패키지의 조립 이어가기	패키지 호출 실패를 다음 조립에 반영하며 Gooo 규칙이 사례와 한도를 고름. 작업장 CI 후 main에 병합	새 컴파일러의 플랫폼별 실행과 공개 배포, 실제 라이브러리 도구 늘리기
Gooo 정책으로 계속할지 판단	실제 후보 점수와 남은 예산으로 계속·중단을 결정	다른 조립 프로필과 여러 함수의 선택을 함께 다루기
Gooo로 만든 재사용 도구	소스 조각 교체 도구, 숫자·논리·문자열 함수 17개	이 도구를 이용해 더 긴 프로그램을 구성하고 수정하기
자체 소형 모델 학습	세 프로그램의 한영 의도·후보 576행, 프로그램 제외 평가	새 프로그램에서 고정 순서보다 더 시도했던 원인을 반영하고 별도 과제로 평가
공개 사용 흐름	실행 파일, 짧은 명령, 실제 입력과 저장 재실행	외부 개발자가 자신의 과제로 재현한 결과

소스 수정 도구, 표준 함수, 자체 모델의 낮은 전이 성능에 각 결과를 공개했습니다. 소스에서 패키지 설정을 읽는 구성은 0.6.11 개발판으로 공개했고 표준 라이브러리 0.1.1에도 적용했습니다. 함수를 다른 도구로 가져갈 때 반복해 적을 내용을 줄입니다.

구현한 조립과 패키지 확장

기존 경로는 각 보조 함수를 그 함수의 예제로 먼저 고릅니다. 예제가 입력 0 → 출력 0이면 x와 x * 2가 모두 통과합니다. 첫 번째를 고른 뒤 앱에서 입력 3 → 출력 6을 기대하면 실제 값은 3입니다. 부품의 1/1과 전체의 0/1이 함께 남습니다.

기존 회귀 예제를 깨끗한 0.6.11 후보로 직접 실행해 이 상태를 확인했습니다. 소스·입력·실제 결과. 이 실패를 받아 허용된 다른 조합을 시도하는 body-construct를 PR 1384로 개발 브랜치에 병합했습니다. 호출 결과를 이용한 탐색, 의존 관계에 따른 부품 재검사, 모순된 요구의 부분 결과와 저장 재실행을 확인했습니다. 필수 CI를 통과했고 0.6.12 후보의 네 플랫폼 검사도 완료했습니다. PR 1385도 병합했고 0.6.12를 공개·설치했습니다.

두 함수가 함께 바뀌어야 통과하는 경우와 중첩 함수도 검사했습니다. 자체 모델을 붙인 한 프로그램에서는 모델 순서 한 번, 고정 순서 여덟 번으로 같은 코드에 도달했습니다. 해결에 사용한 입력과 이후 평가 입력의 겹침을 기록하고, 적은 한도에서의 실패도 남겼습니다. 사용법과 관측 범위에 원본을 연결했습니다. 이제 생태계 작업장의 construct 명령이 Gooo 규칙으로 다음 시도 한도를 계산하고 상한 안에서 자동 재실행합니다. 처음 부품을 고른 기록, 전체 조합의 시도, 후속 평가를 따로 읽습니다. 공개 바이너리와 기존 자체 모델로 이 흐름을 직접 사용했습니다. 패키지를 가로지르는 조립은 PR 1402로 구현했고 필수 CI를 확인해 dev에 병합했습니다. 두 라이브러리를 가져오는 예제는 기존 모델 41번과 고정 순서 48번으로 같은 코드에 도달했습니다. 별도 입력은 둘 다 4/4였고 원래 실패도 남겼습니다. 가져온 함수까지 함께 조립하기에 사용법과 원본이 있습니다. 작업장 PR 42에서는 이 패키지 기록을 Gooo 정책이 읽고 다음 조립에 쓸 사례와 한도를 고릅니다. 원래 기대값을 유지한 예제 두 가지는 각각 5회차·14번과 8회차·105번 시도 후 별도 평가 4/4를 얻었습니다. 회차마다 다시 시도한 조합도 모두 셉니다. CI 원본을 대조한 뒤 작업장 main에 병합했습니다.

다른 남은 범위도 구분합니다. 후보를 검사하는 동안 중첩 호출에 전달했던 인자 이력은 일부 경로에서 아직 미관측입니다. body-construct는 source-fill과 IR search를 함께 탐색하며, 새 package construct가 이 경로를 가져온 함수까지 연결합니다. 새 프로그램에서도 도움이 되는 모델인지는 현재의 낮은 전이 결과부터 이어 평가합니다.

언어 확장은 이런 도구에서 필요해진 표현을 기준으로 선택합니다. 모델 학습도 실제 Gooo 후보와 한국어·영어 의도, 실패 기록을 중심으로 진행합니다.

비교 결과를 읽는 기준

첫 비교는 같은 소스·후보·검사·예산에 결정론 순서와 자체 모델을 적용합니다. 검사를 충족한 과제 수, 시도 후보 수, 전체 시간, 모델 호출·판단 시간, CPU 시간과 메모리, 사람의 개입, 재실행 결과를 함께 공개합니다.

부품 사례 3/5, 출력 2/4, 필드 충족 수는 각각의 단위로 읽습니다. 기대값 없이 넣은 입력은 반환값을 관측하며 정답률은 미관측으로 둡니다. 더 강한 코드 모델이나 병렬 에이전트와 비교할 때도 같은 과제와 검증 기준을 준비한 뒤 결과를 냅니다.

연구 설명은 기존 비교 조건과 연구 맥락으로 연결합니다. Rosette, DreamCoder, Halide와 PROV-O에서 이어지는 질문을 밝히고, Gooo의 역할 분리가 실제로 유용한지는 재현 가능한 도구와 비교로 보여 줍니다.

외부에 보여 줄 순서

처음 보는 사람에게는 짧은 실행 예제, 부분 결과의 설명, 같은 과제의 비교, 언어 설계 순서로 소개합니다. 소스·컴파일러·모델·학습 자료·실행 기록과 라이선스 정보를 연결해 다른 사람이 이어 연구할 수 있게 합니다.

성장은 다른 개발자가 재현한 실행, 자기 과제에 적용한 사례, 실패에서 얻은 언어 개선으로 확인합니다. 상용 도구의 형태는 반복해서 쓰는 작업과 요청이 쌓인 뒤 구체화합니다. 현재 계획의 기준은 실행 가능한 공개 기술과 실제 사용입니다.

English summary

Gooo develops a metaprogramming language in which source declares meaning, permitted construction choices and verification obligations. An optional small model suggests a search order. The compiler constructs executable code, while receipts retain the selected path, observed behavior and remaining obligations.

Record-choice continuation already works through package workspaces and Gooo policies. Source editing, reusable functions and a small independently trained graph model have executable public observations. PR 1384 implements bounded caller-guided construction after a helper satisfies insufficient local examples. Local and caller observations remain separate; dependent local examples are rechecked as earlier choices change. The feature passed canonical CI and merged into dev; version 0.6.12 passed four native platforms and was published and installed. The workbench now executes a Gooo policy that proposes the next whole-program budget, then dispatches fresh construction within explicit limits. PR 1402 adds package caller construction, retaining original package identities and rechecking all saved attempts without a model. Canonical CI passed and the feature merged into dev. Workbench PR 42 also passed CI and merged into main: Gooo policies consume these package records to select original counterexamples and propose the next bounded attempt budget. Cases consumed as construction feedback remain distinct from subsequent evaluation. Grow language features and training data from such concrete failures and independent use.

진단 도구 시작하기 · 현재 상태 · 문서 홈