Gooo: 작은 프로그램을 조립하고 이어 쓰기

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

Gooo는 코드에 바꿀 수 있는 부분과 확인할 예시를 함께 적는 실험적 메타프로그래밍 언어입니다. 조건문, 변수 계산, 함수 호출과 기록값을 표현하고, 선언한 선택지에서 프로그램을 구성합니다. 컴파일러와 실행 연결은 Go로 만듭니다.

작업대에 부품과 도면을 펼쳐 둔다고 생각하면 쉽습니다. 작은 자체 모델이 먼저 끼워 볼 조합을 추천하고, Gooo가 실제 결과를 확인합니다. 모델을 빼면 정해진 순서로 진행합니다. 선택한 코드는 저장해 다음 입력에도 사용할 수 있습니다.

처음이라면: 시작하기 → 진단 도구 만들고 재사용하기.

지금 어디까지 왔나

개발 소스는 함수 분기를 호출 결과로 다시 고르기를 지원합니다. 함수 자체 예제를 만족한 분기라도 실제 호출 결과를 보고 다른 조합을 시도합니다. PR1431·1432의 원본 검사를 통과해 dev035에 병합하고 익숙한 음수 표현도 연결했습니다. 저장한 분기 조립을 이어 쓰는 작업장도 원본 CI 뒤 병합·설치했습니다. 자체 모델로 처음 조립하고 고정 후속으로 이어간 설치본의 마지막 별도 입력은 3/3입니다.

일반 분기의 모델 사전 확인도 공개 개발 PR로 추가했습니다. 소스의 선택지와 모델 입력 규격을 먼저 확인하며, 원본 CI가 진행 중입니다.

공개 0.6.23에는 조립 전에 값을 넣을 곳과 활동 연결을 읽는 body-plan이 있습니다. 입력 양식을 만든 뒤 실제 값을 넣고, 같은 생성물에 기대값 검사를 이어 붙입니다. 입력과 계획 읽기에서 사용법을 설명합니다. 작업장의 assemble --graph는 그 계획을 읽어 여러 본문과 보조 함수를 조립합니다. 저장한 폴더를 넘기면 원래 실패 입력으로 다음 조립을 진행합니다. 여러 본문의 조립과 피드백.

입력 계획과 저장된 프로그램의 사용 흐름은 0.6.23의 공개·설치 검증과 사용성 판단을 설명합니다.

앞선 0.6.22 개발판에서는 조립 전에 소스가 모델 입력에 맞는지 조회하고 이유를 읽는 흐름을 공개했습니다. 한글·영문 타입 이름으로 적은 예제와 작은 자체 모델을 함께 제공합니다. 같은 프로그램을 고정 순서와 모델로 조립하고, 입력을 넣고, 저장해 다시 사용할 수 있습니다. 필드 검사 12/12와 다른 입력 4/4를 확인했고 첫 모델 제안의 부족도 기록했습니다. 타입 이름과 실제 조립에서 명령과 관측을 볼 수 있습니다. 같은 공개 소스의 파일 트리를 원본 CI로 확인해 main 340982bb에도 반영했습니다.

기존 package interface로 함수의 입력 순서와 타입·필드 구조를 데이터로 꺼낼 수 있습니다. 이를 읽는 Gooo 도구는 입력이 필수가 된 경우와 출력이 선택적으로 바뀐 경우를 구분해 다음 작업을 제안합니다. 공개 실행 파일을 설치해 자체 모델과 고정 순서의 분류가 같고 저장 재생에 새 모델 호출이 없는지 확인했습니다. 패키지 인터페이스 사용법과 API 변경 읽기.

0.6.20에는 이름을 바꿔도 같은 활동을 따라갈 명시적 ID 문법이 있습니다. Total과 합계가 같은 ID로 변수 계산과 조건문을 실행하는 공개 예제를 넣었습니다. 공개 설치본으로 각각 네 입력과 저장 재생을 확인했습니다. 실행 안내.

개발 브랜치에 병합한 PR 1423는 조립 전에 소스가 모델 규격에 맞는지 보여줍니다. 모델을 읽었다는 사실과 그 모델이 받을 수 있는 프로그램인지를 나눠 확인합니다. 소스·모델 사전 확인은 예측·후보 검사 0회로 가능한 입력과 거절 이유를 보여줍니다. 원본 CI와 네 플랫폼 검사를 통과해 dev e5be9871에 반영했습니다. 작업장의 한 명령 조립도 이 결과를 읽어 Gooo 규칙으로 경로를 고릅니다. 이 기능은 공개 0.6.22에 포함됐습니다. 공개 실행 파일의 기본 경로에서 실제 조립과 Gooo 후속 제안을 확인했습니다. 공개판과 개발 소스의 검사 상태는 현재 상태에 구분해 적습니다.

작업장의 후속 규칙도 원본 CI를 통과해 main에 병합했습니다. 조립 결과가 일부 기대값과 다르면 다음 작업을 제안하고, 짧은 기록에서 당시 입력과 출력까지 찾습니다. 위키의 현재 상태와 연구 페이지는 최신 사용 흐름부터 읽도록 줄였고 이전 기록은 각 페이지의 이력 링크에 원문 그대로 보관했습니다.

이제 루트 레코드 뒤에 고정 활동과 보조 함수를 연결했을 때의 실패도 다음 조립에 반영합니다. 원래 입력과 마지막 활동의 기대값을 유지하며, 저장 폴더 하나로 이어 씁니다. 연결 활동 예제에 두 명령과 유한 사례 관측을 적었습니다.

0.6.18에서 이어받은 실행 흐름

0.6.18 개발판을 공개했습니다. 조립한 패키지 프로그램에 실제 입력을 넣고, 나온 값을 저장해 다시 사용할 수 있습니다. 처음에는 계산기 조립용 예제로 동작을 고른 뒤, 완성한 계산기에 새 숫자를 넣는 흐름입니다. 새 입력의 정답을 모르면 출력만 남기고, 나중에 정답이 생겼을 때 같은 프로그램을 평가할 수 있습니다.

package construct --inputs는 실제 값을 한 줄에 하나씩 출력하며, --json은 원래 조립 이력까지 보관합니다. 모델을 연결하면 후보 순서를 제안하고, 생략하면 소스 순서로 진행합니다. 저장 재실행에는 새 모델 호출이 없습니다. Go 1.27.2로 빌드했으며 네 플랫폼 실행·재실행을 확인했습니다. 사용 명령과 현재 배포 상태에서 시작할 수 있습니다.

앞선 0.6.17에서 확인한 흐름

0.6.17 개발판은 가져온 함수까지 함께 조립하는 package construct를 추가했습니다. 실제 호출에서 드러난 실패로 패키지의 후보 조합을 다시 고르고, 원래 입력과 실패 이력을 남깁니다. PR 1402의 필수 CI와 원본 검증을 마치고 개발·메인 브랜치에 병합했습니다. 새 배포는 Go 1.27.2로 빌드했고, 네 플랫폼에서 실제 생성·실행·저장 재실행을 확인했습니다. 작업장에서는 Gooo 규칙이 실패한 호출 사례를 추가하고 다음 시도를 고르는 흐름까지 연결했습니다.

현재 배포 소스와 연계 저장소는 Go 1.27.2를 사용합니다. 공개 macOS ARM64 파일을 설치해 같은 패키지 예제를 고정 순서와 자체 모델로 실행했고, 같은 코드와 평가 4/4를 얻었습니다. 저장 재실행에는 새 추론이 없었습니다. 새 툴체인과 배포 소스의 파일 구성을 메인에도 반영했습니다. 설치·소스 빌드 안내에서 현재 사용할 리비전을 확인합니다.

앞선 0.6.16에서 확인한 흐름

0.6.16 개발판을 공개했습니다. 조건식과 변수에 넣을 값을 한 묶음으로 채우고, 실제 호출 결과를 보고 다시 고릅니다. 예산 함수라면 ‘언제 멈출지’와 ‘멈출 때 어떤 값을 남길지’를 함께 맞추는 식입니다. 선택한 코드는 일반 Gooo 소스로 저장해 다음 입력에도 사용할 수 있습니다. 여러 빈칸 조립.

타입이 틀리거나 조립용 사례에서 계산에 실패한 빈칸 후보는 이유를 남기고 다음 후보를 확인합니다. 실제 호출에서 0으로 나누는 후보도 위치와 피연산자를 남깁니다. 앞서 얻은 값과 독립 출력은 보존하고, 실패한 값이 필요한 활동은 중단 이유를 기록합니다. 탈락한 후보와 실제로 실패한 조합도 시도 한도에 포함합니다. 기존 자체 모델은 먼저 시도할 레코드 조합을 추천합니다. 배포 예제에서 고정 순서는 48개, 모델 순서는 6개 조합을 시도해 같은 코드와 마지막 평가 4/4를 얻었습니다. 빈칸 묶음은 소스 순서로 골랐습니다. 한도를 줄였을 때의 부분 결과도 남깁니다.

Gooo 피드백 규칙은 실패 사례를 다음 조립에 추가합니다. 배포 소스를 사용한 작업장 예제는 다섯 회차, 14번의 시도 뒤 별도 평가 4/4를 확인했습니다. 기대값·부분 결과·선택에 쓴 사례와 별도 평가를 각각 보관합니다. 저장 재실행에는 새 모델 호출이 없습니다.

네 플랫폼 실행 검사와 필수 CI를 통과했고, 공개 macOS 파일을 설치해 같은 경로를 실행했습니다. 같은 파일 구성을 컴파일러 main에도 반영했습니다. 버전과 원본 기록은 현재 상태, 바로 실행할 명령은 시작하기에 있습니다. 패키지 이름·import를 소스에 두는 패키지 설정과 작은 표준 라이브러리도 함께 사용할 수 있습니다.

별도 예제에서는 평가 중 실패한 입력을 원래 기대값과 함께 다음 조립 조건에 추가했습니다. 세 회차·네 번 시도 뒤 별도 입력 3개를 맞혔습니다. 계산 실패로 조립 이어가기에 구현 범위와 실행 원본을 정리했습니다.

Gooo로 무엇을 만들고 있나

작은 도구	하는 일	직접 보기
진단 도구	덜 맞은 결과와 관측 부족을 구분하고 다음 작업을 반환	프로젝트 생성과 재사용
소스 수정 도구	원문 확인 → 조각 교체 → 바뀐 길이 계산	Gooo로 Gooo 소스 바꾸기
가져다 쓰는 함수	숫자·논리·문자열의 Gooo 함수 17개와 세 패키지를 쓰는 예제	작은 표준 라이브러리
재시도 정책	실패 종류와 사용한 횟수에 따라 다음 시도와 대기 시간 결정	지역값과 후보 조립
개발 공구	기본 함수, 새 프로젝트, API 문서, 조립 결과 설명	생태계 작업장
조립 정책	실제 검사 결과를 읽고 계속할지 멈출지 결정	보조 함수와 정책 연결

소스 수정 도구가 반환한 Gooo 함수를 다시 컴파일해 실행했습니다. 기존 모델은 네 번째 후보, 고정 순서는 여덟 번째 후보에서 조립 예시를 모두 맞혔고, 완성된 두 결과는 별도 입력 542개와 저장 재실행에서도 일치했습니다. 모델의 첫 후보는 실패했습니다. 하나의 새 프로그램에서 관측한 결과이며, 입력 수·맞춘 필드·시도 횟수와 실패를 같은 기록에 남겼습니다.

작은 모델은 무엇을 배우나

모델에는 소스의 연산자, 값의 관계와 한·영 의도를 전달합니다. 현재 그래프 판단기는 직접 초기화한 2,072개 매개변수를 Go로 학습했습니다. 삼진 가중치는 446바이트이며, 실행 시 텐서와 부가 메모리가 더 필요합니다.

파일명·나눗셈·재시도 프로그램으로 학습한 첫 모델은 학습에서 제외한 프로그램의 첫 선택을 잘 맞히지 못했습니다. 그래서 추천 하나의 정답률과 정해진 시도 안에 조립을 끝냈는지를 나눠 봅니다. 학습 분할·낮은 전이 성능·가중치·실행 결과를 공개했습니다. 최신 그래프 가중치는 GitHub에 있으며 Hugging Face 업로드는 아직 완료하지 않았습니다.

초기 Laya 실험에서 작은 판단을 코드 조립에 연결하는 방법을 살펴봤습니다. 현재 모델은 Gooo 자료와 자체 초기화한 가중치로 개발합니다. SKETCH, DeepCoder, DreamCoder, BitNet b1.58, PROV-O 등에서 참고한 내용은 연구 연결에 정리했습니다.

어떤 방향으로 키우나

코드를 고치면서 의도와 검사 결과, 선택한 이유를 다음 작업에도 이어 쓰고 싶습니다. Gooo 소스와 중간 표현, 생성 코드와 실행 기록을 연결하는 이유입니다. 직접 쓸 작은 공구를 Gooo로 만들고, 그 과정에서 표현이 부족한 부분을 컴파일러에 추가합니다.

5/5는 적어둔 다섯 사례를 맞혔다는 뜻입니다. 남은 입력에 대한 동작과 전체 후보 중 얼마나 살펴봤는지는 따로 확인합니다. 다른 언어와의 정량 비교는 공통 과제와 완료 기준을 준비하는 단계입니다. 지표 읽기 · 다음 개발 과제.

공개 저장소

• 언어·컴파일러: 선언, 의미 IR, 코드 생성과 실행
• 생태계 작업장: Gooo 도구, 그래프 모델 학습과 실제 사용
• 작은 표준 라이브러리: 재사용하는 Gooo 함수와 패키지 호출 예제
• Go 추론 SDK: 작은 모델의 실행 연결
• 초기 학습·비교 실험: 이전 학습과 관측 원본
• 공개 필드 모델: 앞선 가중치와 측정 범위

언어 둘러보기 · 현재 상태 · 과거 기록.