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

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

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

작업대에 부품과 도면을 펼쳐 둔다고 생각하면 쉽습니다. 작은 자체 모델이 먼저 끼워 볼 조합을 추천하고, Gooo가 실제 결과를 확인합니다. 모델을 생략하면 정해진 순서로 진행합니다. 고른 프로그램은 저장해 다음 입력에도 사용합니다.

하고 싶은 일부터

하고 싶은 일	시작할 곳
설치해서 작은 예제 실행하기	시작하기
기존 업무 규칙 하나를 바꾸고 결과 확인하기	배치 처리량 예제와 도입 기준
저장한 실행 결과에서 요구 변경과 회귀 구분하기	공개 0.6.27 결과 비교
조건식·변수·함수 표현 둘러보기	언어 둘러보기
소스의 입력 키와 연결 확인하기	조립 계획 읽기
조립 사례와 이후 평가 결과를 나눠 읽기	조립 결과 보고서
작은 모델로 비교식과 반환 가지를 조립하기	V2 연결의0.6.33
소스 계산과 예시의 관계를 모델에 전달하기	V3 연결의0.6.34와 비교 결과
문자열 함수를 가져오고 조건 하나만 조립하기	문자열과 한 조건 조립의 0.6.32
Gooo로 문자열을 읽고 바이트 위치 찾기	문자열 검색의 0.6.31
실패한 후보와 보조 함수의 입력을 살펴보기	조립을 이어가는 0.6.30
실제 입력을 넣고, 기대값은 나중에 검사하기	입력부터 실행하기
일부 결과가 틀릴 때 같은 폴더로 조립 이어가기	전체 그래프 피드백
작은 모델로 조립하고 저장 재실행하기	공개 0.6.26 사용법
Gooo로 작은 개발 도구 만들기	진단 도구 만들고 재사용하기
우리 PC의 작은 모델로 경로 판단하기	자체 경로 decision 모델
새 모델과 간단한 규칙, 부분 결과 비교하기	조건 관계 입력의 288개 실험
관계 모델을 Go 프로그램의 조립에 연결하기	SDK의 파일 읽기와 조립 세션

지금 쓸 수 있는 버전

공개0.6.34 개발판은 Go1.27.2와 SDK0.2.44를 사용합니다. 소스의 비교 순서·변수 대입·반환 가지와 출력·중간 조건을 읽고 V3의 소스·예시 관계 입력도 제공합니다. 모델이 먼저 확인할 조합을 고르고, Gooo가 실제 사례를 확인합니다. 모델을 생략하면 정해진 순서로 조립합니다.

설치·예제·분모에 새 V2·V3의 첫 선택21/64·18/64와 검사 후64/64, 별도 영 가중치 릴리스 회귀의 네이티브8/8을 나눠 적었습니다. 이번 묶음에서 V3가 더 낮았으므로 선택 기능으로 유지합니다. SDK0.2.44은 Go 입력 조회와 V3 조립 예제를 제공합니다. 앞선 V2 연구의 첫 선택12/20은 그 연구의 별도 분모이며 원래 기록을 보존합니다.

앞선 0.6.32 문자열·한 조건 예제와 0.6.30 보조 함수 조립도 계속 사용할 수 있습니다.

기존 자체 모델을 새 재시도 규칙에 실제로 연결한 한 번의 관측도 공개했습니다. 첫 출력은 0/6, 분기 조건은 3/3이었습니다. Gooo가 다음 배치를 확인한 뒤 출력 6/6과 이후 실행·저장 재실행 각각 8/8을 만족했습니다. 모델의 첫 제안과 완성된 프로그램을 나눠 봅니다.

공개판의 선택별 사례 모델과 상호작용 모델은 적용 범위가 다릅니다. 0.6.29에는 기존 연결과 조건의 기준값 관계를 읽는 연구 모델 연결이 포함됐습니다. 현재 상태와 모델별 실측에 지원 범위와 실패를 함께 정리합니다.

모델과 결과를 읽는 방법

모델은 Gooo가 선언한 후보의 순서를 제안합니다. 기본 동봉 그래프 판단기는 2,072개 매개변수로 만들었고 삼진 가중치 파일은 446바이트입니다. 프로그램 실행에는 텐서·작업 배열·컴파일러의 메모리가 추가됩니다. 새 경로별 자체 모델은12,728개 매개변수로 선택마다 같은 판단기를 재사용합니다. 압축 가중치2,759바이트와 새 표현15/24·보류5/24, 실제 단일 분기의3/3 실행을 각 범위에 맞게 기록했습니다.

학습에서 제외한 프로그램의 첫 선택을 잘 맞히지 못한 결과도 공개했습니다. 그래서 처음 고른 후보, 예산 안에서 완성한 후보, 나중의 다른 입력을 따로 봅니다. 3/3은 기록한 세 사례를 만족했다는 뜻입니다. 기대값을 넣지 않은 0/0은 미측정입니다. 모델의 점수와 기능 통과율, 탐색한 후보 비율은 지표 읽기에서 설명합니다.

자체 학습과 실패 기록에는 데이터 분할과 실제 실행을, 연구 연결에는 SKETCH·DeepCoder·DreamCoder·BitNet·PROV-O 등 참고한 연구를 적었습니다. 초기 Laya 실험을 거쳐 현재는 자체 초기화한 모델을 개발합니다. 최신 그래프 가중치는 GitHub에 있으며 Hugging Face 업로드는 아직 완료하지 않았습니다. 2026-10-11의 일반 분기용 자체 결정 모델은 Hugging Face에 공개했습니다. 두 연구 가중치와 전체 합성 실험 기록, Go 사용법을 제공하며 각 모델의 지원 범위를 구분합니다. 후속 조건 관계 실험도 공개했습니다. 새 입력 모델의 관련 첫 선택은 64/128이었고 간단한 규칙도 같은 수를 맞혔습니다. 조건이 비거나 모순될 때의 부분 결과도 남겼습니다.

작은 공구를 만들며 언어 키우기

진단 도구, 소스 수정, API 변경 분류, 재시도 정책을 Gooo로 만들고 있습니다. 도구가 실제로 필요한 표현을 요구하면 컴파일러에 추가하고, 같은 프로그램의 소스·중간 표현·생성 코드·실행 기록을 연결합니다. 도구와 다음 개발 과제.

공개 저장소

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

최근 자료에서 가져온 것 · 이전 홈의 릴리스·도구 기록 · 과거 기록.