시작하기

업데이트: 2026-10-09. 작은 Gooo 도구를 조립하고, 저장한 프로그램에 새 입력을 넣어 봅니다.

지금 시작하기: Go 1.27.2

0.6.21 개발판은 Linux amd64, macOS amd64·arm64, Windows amd64 실행 파일을 제공합니다. 가져온 함수까지 함께 조립하는 package construct와 저장 재실행을 사용할 수 있습니다. --inputs로 정답 없는 실제 입력을 주고, 나온 값을 저장해 다음 입력이나 후속 평가에 재사용합니다. 빌드와 생성된 프로그램의 네이티브 실행에는 Go 1.27.2가 필요합니다. 공개 macOS ARM64 파일을 설치해 자체 모델 사용·미사용·저장 재실행을 확인했습니다. 같은 배포 소스를 직접 빌드할 때는 새 폴더에서 다음처럼 고정합니다.

git init gooo-compiler
git -C gooo-compiler remote add origin https://github.com/kimjooyoon/meta-ontology-go.git
git -C gooo-compiler fetch --depth 1 origin d4d0966f3c463d64119d9b6a6c689da4af2cef4f
git -C gooo-compiler switch --detach FETCH_HEAD
GOTOOLCHAIN=go1.27.2 go -C gooo-compiler build -trimpath -o gooo ./cmd/gooo
./gooo-compiler/gooo version --build --json

출력의 go_version과 native_go_required는 go1.27.2, version은 0.6.21-dev, vcs_revision은 위 소스와 같아야 합니다. 0.6.21 실행 안내의 영어·한글 타입 이름과 같은 ID, 변수·조건문·자체 모델 조립·실제 입력·저장 재생을 실행할 수 있습니다. 조립 전 모델 규격을 확인하는 body-context --model은 PR1423을 병합한 dev e5be98712f6b435917b297447200ef50e7adb493에 있습니다. 같은 방식으로 그 소스를 빌드하면 한 명령 조립 예제를 실행할 수 있습니다. 공개 태그 소스와 개발 소스는 version --build --json으로 구분합니다.

이전 공개 실행 파일: 0.6.16

0.6.16 개발판은 Linux amd64, macOS amd64·arm64, Windows amd64 실행 파일을 제공합니다. gooo init --template diagnostic, 저장한 조립 이어가기, 호출 결과에 따른 계산식·레코드 조립, 조건식·대입식 빈칸 묶음과 실제 호출의 계산 실패 후 이어가기가 포함되어 있습니다. 생성한 프로그램의 실제 실행에는 Go 1.27.1이 필요합니다. 진단 도구 따라 하기에서 새 프로젝트를 만들고, 기대 출력을 확인한 뒤 저장한 프로그램을 새 입력에 재사용합니다. Gooo 선언·실행 기록·작은 자체 모델의 역할을 같은 예제로 살펴봅니다. 현재 배포와 설치 관측에서 버전별 결과를 읽을 수 있습니다.

여러 빈칸을 함께 조립하고 결과를 재사용하려면 0.6.16 실행 안내를 사용합니다. 생태계 도구의 실행 안내는 실행 파일을 지정해 Gooo 피드백 규칙과 자체 모델로 조립을 반복하는 명령을 제공합니다. 아래 과거 예제들은 당시 고정 소스와 관측을 유지합니다.

0.6.10 배포 후보로 새 진단 프로젝트를 만들고 고정 순서·자체 그래프 모델을 직접 연결했습니다. 두 경로 모두 네 입력의 활동 출력 8/8을 맞혔고, 조립 완료까지 각각 후보 네 개를 확인했습니다. 저장한 프로그램에 새 입력 세 건을 넣을 때 새 추론은 0회였습니다. 후보 실행 파일과 생성 프로젝트·원본 결과. 이 진단 관측은 로컬 후보로 수행했습니다. 이후 0.6.10 공개·설치를 완료했고, 공개 실행 파일로 소스 수정 도구를 확인한 기록은 위 현재 상태에서 읽을 수 있습니다.

공개 실행 파일의 관측에서는 완전한 출력과 일부만 맞힌 결과를 함께 읽습니다. 발전 방향은 이 도구에서 드러난 언어의 부족을 다음 구현으로 연결합니다.

아래 본문 예제의 고정 소스

숫자·논리·문자열 함수를 가져다 쓰고 짧은 명령으로 결과를 보려면 작은 표준 라이브러리에서 시작할 수 있습니다. 표준 함수·진단·새 프로젝트 만들기부터 시작하려면 Gooo 생태계 도구의 세 명령을 따라해 볼 수 있습니다.

이하 본문 예제는 10월 5일의 main f144dddb를 기준으로 합니다. 해당 go.mod는 Go 1.27.1·SDK v0.2.24를 사용합니다. 개별 예제의 링크와 관측은 각 소스 시점을 유지합니다. 현재 상태에서 새 배포 근거를 확인할 수 있습니다.

새 폴더에 예제용 소스를 받을 경우:

git clone --depth 1 https://github.com/kimjooyoon/meta-ontology-go.git
cd meta-ontology-go
git fetch --depth 1 origin f144dddb8261b9b525181dee510afc65f1603153
git switch --detach FETCH_HEAD

이미 작업 중인 저장소가 있다면 자신의 변경을 보존하고 사용할 리비전을 확인합니다.

한 파일에 조립 규칙을 두고 생성·실행하기

소스의 assembling 선언이 조립 규칙과 선택 예시를 제공합니다. 실제 실행에서 확인할 기대값을 따로 주고, 컴파일러를 빌드해 한 명령으로 실행할 수 있습니다. 위 고정 소스의 루트에서 다음 명령을 실행합니다.

gooo_go_bin="$(GOTOOLCHAIN=go1.27.1 go env GOROOT)/bin/go"
"$gooo_go_bin" version
GOWORK=off "$gooo_go_bin" build -trimpath -o gooo ./cmd/gooo
./gooo body-path-run \
  --source examples/body-codegen/source-assembly.gooo.fixture \
  --activity Clamp \
  --cases examples/body-codegen/source-assembly-clamp-cases.json \
  --repeat 2 --timing --out clamp-results
./gooo body-path-run --verify-timing --out clamp-results

clamp-results는 새 출력 폴더 이름입니다. 이미 있는 경로는 거부합니다. 생성된 코드는 run-N-generated.go, 현재 기대값의 충족 수와 분모는 summary.json에서 확인합니다. 이 예제의 별도 실행 기대값은 int64 경계를 포함한 일곱 개입니다. 선언 문법과 관측 · 모델 연결·한영 지시·출력 읽기.

빌드할 때 Go1.27.1을 선택해도 PATH의 기본 go가 바뀌지는 않습니다. 기본 실행은 이미 설치된 정확한 Go1.27.1을 찾습니다. --go-bin으로 원하는 도구를 지정할 수도 있습니다. 소스 연결 기록을 남기려면 변경이 없는 Git 체크아웃에서 빌드합니다. go install ...@revision으로 받은 실행기는 모듈 버전을 보관하지만, 이번 관측에서는 Git 리비전이 내장되지 않아 결과의 소스 항목이 UNBOUND_LOCAL_SOURCE였습니다. 두 설치 방식·원래 도구 오류·실제 결과.

여러 본문을 연결해 실행하기

위에서 빌드한 컴파일러로 정수·참거짓·텍스트 일곱 활동을 한 번에 조립합니다.

./gooo body-compose \
  --source examples/body-codegen/native-composition.gooo.fixture \
  --cases examples/body-codegen/native-composition-cases.json \
  --out composition-results

새 폴더에 원본·선택된 Gooo·생성 함수·연결 코드·실제 실행 기록을 저장합니다. 기본 경로는 결정론적입니다. 모델 파일을 준비했다면 --model path/to/model.json을 추가합니다. 저장 기록의 재실행과 기대값 분모는 실제 본문 연결 가이드를 따릅니다.

여러 입력을 합류시키기

같은 Integer 타입의 두 위치를 구분하고, 입력 일부만 연결하는 예제입니다.

./gooo body-compose \
  --source examples/body-codegen/native-input-joins.gooo.fixture \
  --cases examples/body-codegen/native-input-joins-cases.json \
  --out input-joins-results

여러 입력은 input0, input1처럼 선언 순서대로 읽습니다. 외부에서 제공하는 위치의 사례 키는 Label.input1과 같습니다. 입력 하나는 기존 input과 활동 이름의 사례 키를 사용합니다. 모델 연결, 저장 기록과 실제 값 읽기는 여러 입력의 합류 가이드를 따릅니다.

기록을 만들고 다음 본문에 전달하기

제목·상태를 담은 기록을 만들고, 다음 활동에서 필드를 읽는 여섯 활동 예제입니다.

./gooo body-compose \
  --source examples/body-codegen/native-records.gooo.fixture \
  --cases examples/body-codegen/native-records-cases.json \
  --out record-results

기록 생성자, 필드 읽기, 지역값 전체 교체와 기록 비교를 다룹니다. 제공한 여섯 사례의 이름 있는 출력 기대값은 36개입니다. 실제 필드값과 미충족 부분의 요약은 기록 전달 가이드에서 읽습니다.

작은 자체 모델로 실제 필드를 조립하기

제목·상태·사유의 후보식을2,072개 매개변수의 공유 모델이 한 번 판단합니다. 위에서 빌드한 컴파일러와 공개 네 파일을 사용합니다.

hf download asketeddy/gooo-record-shared-field-tiny-v1 \
  models/qat_ternary/model.json models/qat_ternary/weights.bin \
  demo.gooo.fixture demo-cases.json \
  --revision 87f8c482d23dc0eaa41f5575f652e7ca61f44280 \
  --local-dir ./gooo-field-model
./gooo body-compose --source ./gooo-field-model/demo.gooo.fixture \
  --cases ./gooo-field-model/demo-cases.json \
  --model ./gooo-field-model/models/qat_ternary/model.json \
  --out field-results > field-result.json

예제의 예산은8이며, 실제 관측은 선택15/15필드·새 입력8/8출력·12/12필드입니다. --model을 빼면 결정론적으로 조립합니다. 선택 예시와 런타임 입력의 분모를 따로 읽습니다. 연구 레포의record-completeness 도구는 짧은 충족률과 남은 필드 이름·실제 값·기대값을 보여줍니다. 모델 읽기의--text는 후보식별 확률을 표시하며 이 값과 기능의 완전성을 구분합니다. 네 파일부터 결과 읽기까지 · 공유 판단의 성과·퇴행.

1. 선언을 검사하기

결제 예제는 주문과 결제 수단을 받아 결제 결과를 만드는 작업을 선언합니다.

go run ./cmd/gooo check examples/billing/main.gooo

성공하면 선언의 이름·참조·의미 관계를 검사했다는 결과를 얻습니다. 여기서 읽을 관계는 PayOrder used Order, PayOrder used PaymentMethod, Payment wasGeneratedBy PayOrder입니다. 실제 결제 호출은 구현과 실행 단계에서 다룹니다.

2. Go 구조 생성하기

out="$(mktemp -d)"
go run ./cmd/gooo generate examples/conformance/main.gooo --out "$out"

이 예제는 임시 출력 폴더에 semantic.gooo.go를 생성합니다. Gooo 선언이 구조를 소유하며, 별도의 구현 로직은 생성 계약이 정한 슬롯에 들어갑니다. 생성 구조와 슬롯 안내.

3. 조건과 할당이 있는 바디 생성하기

저장소에 있는 ClampBelowZero 원본은 지역 변수, 대입과 조건 분기를 사용합니다.

go run ./cmd/gooo body-codegen --activity ClampBelowZero \
  examples/body-codegen/main.gooo.fixture

타입과 지원 문법을 확인한 뒤 Go 함수가 표준 출력으로 나옵니다. 원본 파일에 결과를 쓰는 작업은 호출자가 별도로 선택합니다.

조건·대입을 여러 줄로 직접 작성한 예제도 바로 생성할 수 있습니다.

go run ./cmd/gooo body-codegen --activity ClampBelowZero \
  examples/body-codegen/raw-computes.gooo.fixture

전체 소스와 문자열 규칙을 참고하세요. 설치본에서 이 바디를 별도로 컴파일·실행해 int64 경계값을 포함한 8/8 기대값을 확인했습니다.

모델 없이 허용된 조립 경로를 탐색하는 예제도 있습니다.

go run ./cmd/gooo body-codegen --json \
  --path-plan examples/body-codegen/typed-path-compound-plan.json \
  --activity Combined examples/body-codegen/typed-path-compound.gooo.fixture

이 경로는 계획에 선언된 후보와 유한 예시를 사용합니다. 명시적으로 --path-model을 추가하면 호환되는 로컬 모델을 연결할 수 있습니다. 가중치 다운로드와 파일 선택은 모델 사용 안내를 따릅니다.

4. 결과의 실행 범위 읽기

go run ./cmd/gooo run --entry PayOrder --json examples/billing/main.gooo

이 단일 소스 예제의 DECLARATION_RESOLUTION_ONLY 결과는 선언의 입력·출력 전이를 해석한 기록입니다. 생성된 Go를 빌드하고 실행한 관측은 별도 결과에 남습니다. 실행 계약.

다음 단계

한국어 지시로 두 연산의 순서를 조립하고 실제 실행까지 해보려면 전체 후보 예제를 따라 실행할 수 있습니다. Gooo 소스, 짧은 레시피, 기대값과 공개 16 KiB 모델이 함께 들어 있습니다. 원본의 “더한 다음 곱한다”를 “곱한 다음 더한다”로 바꾸는 과제입니다. --path-model을 생략하면 같은 후보와 예시에서 결정론적으로 조립합니다.

그 예제는 이제 Go 명령 하나로 생성과 실제 실행을 이어서 할 수 있습니다. 연구 저장소 루트에서 실행합니다.

out_root="$(mktemp -d)"
go run ./cmd/order-example \
  --model publication/order-judge-initial-20261003/model.json \
  --out "$out_root/model"

--model을 생략하면 결정론적 경로를 사용합니다. 출력 폴더에 입력, 생성된 코드와 실제 기대값 비교가 남습니다. 응답이 도착하면 바로 실행하고 다음 요청을 보내며, 응답 시간과 실행 시간을 따로 표시합니다. 로컬·Linux 실행 원본.

반복 조립은 위 고정 main에 포함된 gooo body-path-stream으로 실행합니다. 별도 워커 빌드 없이 JSON 한 줄에 한 요청을 보내고 준비되는 결과부터 받습니다. 공개 연구 저장소의 루트에서 다음 명령을 사용할 수 있습니다.

gooo body-path-stream --workers 1 \
  --model publication/order-judge-initial-20261003/model.json \
  < examples/whole-candidate-order/worker-requests.jsonl \
  > /tmp/gooo-order-stream-results.jsonl

여기서 gooo는 컴파일러 저장소에서 go build -o gooo ./cmd/gooo로 빌드한 실행 파일을 PATH에 둔 것입니다. --model을 생략하면 결정론적으로 조립합니다. 각 줄의 status와 correlation_id를 확인하고, 실제 생성 코드는 response.source에서 읽습니다. 시작 정보는 표준 오류에 나옵니다. 병렬 결과는 준비되는 순서로 도착합니다. 두 요청의 생성·실행 예제 · main 병합·설치·32/32 실행 기대값의 원본.

• 작은 모델과 메타프로그래밍: 모델이 판단하는 내용과 실패 피드백.
• 지표와 증거: 타입 검사, 예시 충족, 생성·실행, 미해결 항목 읽기.
• 문법 오류와 UNKNOWN: 오류 위치와 재개할 작업 찾기.
• 언어 둘러보기: Entity, Activity, 안정적 ID와 관계.

명령은 고정된 구현과 예제를 근거로 정리했습니다. 위키 갱신 자체의 관측은 문서·링크 대조이며, 코드 생성·실행 수치는 별도의 공개 실험에 연결합니다.

앞선 eb8477d5 갱신에서는 해당 깨끗한 설치본으로 선언 검사, 구조 생성, 조건 바디 생성, 단일 소스 실행과 새 파일 조립·실행을 확인했습니다. 새 raw 바디의 1,024/1,024 기대값과 별도 clamp 8/8, 생성·실행 기록 비교도 확인했습니다. 앞선 스트림 명령의 설치 관측은 각 절의 공개 기록에 연결했습니다.

생성과 실제 실행을 한 스트림에서 이어가기

위의 설치본과 연구 저장소에서는 다음 명령으로 실행파일도 보관할 수 있습니다.

out_root="$(mktemp -d)"
go run ./cmd/order-example --retain-native \
  --model publication/order-judge-initial-20261003/model.json \
  --out "$out_root/model"

--model을 생략하면 결정론적으로 진행합니다. 같은 바디의 두 번째 요청은 실행파일을 재사용하고 현재 입력은 새로 두 번 실행합니다. passed/total은 현재 기대값의 충족 수입니다. response_ms는 생성·실행을 포함하고, execution_ms는 그 안의 실행 구간이므로 둘을 더하지 않습니다. 원본·생성 Go·실제 결과가 폴더에 남습니다.

이 절의 앞선 8c6ec01c 설치 관측에서 모델·결정론 경로의 4회 생성·8회 실제 실행과 32/32 기대값을 확인했습니다. 반복 응답은 약 30ms였고, 첫 모델 응답 1.27초도 함께 기록했습니다. 새 기대값에서는 합격을 다시 계산했고 잘못된 형식은 생성 전에 거부됐습니다. 사용법·CI 원본·설치 지문·모든 결과.