여러 줄로 바디 작성하기

main eb8477d5에 포함된 문법입니다. 조건·지역 변수·대입을 백틱 안에 직접 작성할 수 있습니다. 전체 원본.

package bodycodegen
namespace bodycodegen

entity Integer id "bodycodegen://entity/integer"

activity ClampBelowZero(Integer) -> Integer computes `
let value = input
value = input
let accepted = value >= 0
if accepted {
    return value
} else {
    return 0
}
`

저장소에서 다음 명령으로 Go 함수를 생성합니다.

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

gooo 빌드와 설치는 시작 안내를 따릅니다. 입력이 음수이면 0, 그 밖에는 입력을 반환합니다. 원본의 의미를 읽고 타입을 확인한 뒤 생성합니다. 바디를 고정해 생성하는 이 예제에는 모델 판단이 없습니다. 자연어 지시에 따라 허용된 후보를 조립하고 즉시 실행하는 경로는 파일 실행 안내에 있습니다.

읽는 규칙

main aeff3641부터는 조건 뒤에서 계속 실행하거나 일찍 반환할 때 else를 생략할 수 있습니다. 위 활동의 본문을 다음처럼 적을 수도 있습니다.

let value = input
if value < 0 {
    return 0
}
return value

전체 경로의 반환과 지역 변수의 범위·대입 타입을 확인합니다. 레코드 본문의 중첩 갱신·조기 반환과 필드 모델 조립에도 같은 규칙을 사용합니다.

• 외부 백틱 안의 줄바꿈과 역슬래시는 그대로 바디에 전달됩니다.
• 내부 Text 값은 바디의 문자열 규칙으로 해석합니다.
• 백틱은 문자열을 닫습니다. 그 문자를 포함하는 바디는 이중 따옴표 형식으로 표현합니다.
• 기존 이중 따옴표는 종전의 이스케이프 규칙을 사용합니다.
• 현재 정규 포맷은 해석값과 안정적 ID를 유지하며 이중 따옴표 문자열로 출력합니다.
• 바디의 공백 구성이 달라지면 생성 형식과 소스 해시도 달라질 수 있습니다.

설치본에서 확인한 범위

Go1.27.1로 빌드한 깨끗한 설치본에서 위 함수를 별도로 컴파일·실행했습니다. int64 양 끝값·음수·0·양수를 포함한 8/8 기대값이 충족됐습니다. 잘못된 UTF-8 한 바이트를 넣은 바디는 6:1–6:2에서 생성 전에 거부했습니다.

한영 소스·자체 16 KiB 모델·결정론 네 조건도 두 번씩 조립했습니다. 새로 8회 생성·실제 판단 4회·실제 실행 16회에서 1,024/1,024 유한 기대값과 이전 생성 Go 여덟 파일의 일치를 확인했습니다. 추가 학습은 0회입니다. 반복 응답은 77–94ms였고, 앞선 개발 소스의 28–33ms 관측도 함께 남겼습니다. 알려진 정수 연산 가족의 128개 입력을 반복 확인한 범위입니다.

개발 #1190과 main #1191의 필수 여섯 검사와 불변 증거를 독립 확인해 정상 병합했습니다. 사용법·모든 원본·처음 실패·자원과 시간.