상자는 작업 중인 상태, 화살표는 다음 상태로 넘어가는 조건입니다. Gooo 쪽은 현재 구현한 후보 조립 경로를 줄여 그렸습니다.

개발자가 조건과 계산 방법을 코드로 적습니다. 컴파일러가 규칙을 확인하고 실행 가능한 형태로 바꾸면, 테스트로 기대한 동작인지 확인합니다.

flowchart TD
    A["코드 작성·수정<br/>개발자 또는 코딩 도구"] --> B["컴파일<br/>문법·타입 검사"]
    B -->|통과| C["최적화·실행 파일 생성"]
    B -->|오류| A
    C --> D["실행·테스트"]
    D -->|기대한 동작| E["사용"]
    D -->|수정 필요| A

Go의 빌드·실행과 테스트를 예로 든 흔한 개발 흐름입니다.

기본 코드에 바꿀 수 있는 부분과 기대하는 결과를 함께 적습니다. 작은 모델은 어느 조합부터 살펴볼지 제안하고, Gooo는 그 조합을 실제로 검사합니다.

flowchart TD
    A["Gooo 설계<br/>기본 코드·선택지<br/>기대값·시도 횟수"] --> B["설계 검사"]
    B --> C["후보 순서 정하기<br/>작은 모델 또는 고정 순서"]
    C --> D["후보 조립<br/>타입 검사·사례 평가"]
    D --> E{"계속할까?"}
    E -->|후보·횟수가 남음| D
    E -->|충족·중단·횟수 소진| F["결과 기록<br/>맞춘 항목·미해결 항목"]
    F -->|유효한 후보 확보| G["선택한 코드 → Go<br/>컴파일·실행·테스트"]
    F -->|유효한 후보 없음| H["미해결 상태로 종료"]

계속할지는 선언한 사례의 결과, 시도 한도와 선택적으로 지정한 Gooo 정책으로 결정합니다. 모델을 생략하면 같은 선택지를 정해진 순서로 살펴봅니다. 이 레코드 조립 경로에서는 모델이 처음에 후보 순서를 한 번 제안합니다.

지금은 전체 프로그램의 실패를 보고 앞선 선택을 다시 고르는 흐름도 구현했습니다. 부품 검사와 실제 전체 실행을 같은 조립 반복 안에 둡니다. PR 1384에서 개발했고 공개 0.6.12 실행 파일에 포함했습니다.

“실패한 작업을 다시 시도한다”는 기능이라면 다음 부분들을 고를 수 있습니다. 아래는 소스에 적을 수 있는 선택지를 쉽게 풀어 쓴 예시입니다.

작업대 위에 부품과 도면, 확인할 치수를 함께 두는 셈입니다. 조건문과 변수 계산을 Gooo로 적고, 후보가 어떤 값을 결과에 연결할지 선택합니다. 실제 재시도 예제와 관측은 현재 개발 중인 지역변수 개선을 사용합니다.

이미 실행한 작은 진단 앱에서는 다음 결과를 얻었습니다.

이어 조립할 때 새 모델 호출은 0회였습니다. 저장한 소스와 후보 순서를 확인하고 남은 후보를 평가했습니다. 선택한 프로그램을 재실행할 때도 새 추론이 필요하지 않습니다.

5/5는 적어둔 다섯 사례를 맞혔다는 뜻입니다. 아직 확인하지 않은 입력과, 전체 후보 중 얼마나 살펴봤는지는 따로 기록합니다.

예제와 실행 방법 · 당시 원본 관측 · 이어가기와 자동 수정 등 상세 실험 기록 · 현재 개발·배포 상태.