From 16fab9f3d71fa1fdb4cd38f7e9ae1e1eb4e75340 Mon Sep 17 00:00:00 2001 From: eunhhu Date: Wed, 30 Sep 2026 14:20:00 +0100 Subject: Say what bool and i64 mean at every boundary, before building them (016) --- docs/design/016-bool-and-i64.md | 74 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 74 insertions(+) create mode 100644 docs/design/016-bool-and-i64.md (limited to 'docs') diff --git a/docs/design/016-bool-and-i64.md b/docs/design/016-bool-and-i64.md new file mode 100644 index 0000000..dc438a0 --- /dev/null +++ b/docs/design/016-bool-and-i64.md @@ -0,0 +1,74 @@ +# 016 — 참·거짓과 정확한 정수: `bool`과 `i64` + +작성일: 2026-09-30. 상태: 1단계(`bool`) 구현 중, 2단계(`i64`) 설계. +aup의 v0c에 남은 것(aup `docs/design/002-dsl-direction.md`의 `i64 bool`)이고, +[015](015-boundary-meaning.md)가 정한 경계마다의 값의 뜻에 두 종류를 더한다. + +## 문제 + +- **참·거짓이 수다.** 비교와 논리 연산은 0이나 1을 내고, 0이 아니면 참이다. 그래서 할 일의 `done`은 `done = 0`인 수 + 필드다. 보기의 JSON에는 `true` 대신 `1`이, 화면에는 `1`이 나온다. `done + 1`도 타입 오류가 아니다. 조건 자리에 아무 + 수나 들어간다. +- **정수가 2^53에서 멈춘다.** 수는 binary64다. 밖에서 오는 64비트 ID(많은 서비스의 ID가 2^53을 넘는다), 나노초 시각(2^53 + 나노초는 104일), 큰 누계는 정확히 들지 못한다. 015는 수가 비트까지 그대로라고 정했지만, 그 비트가 정수를 담지 못한다. + +## 원칙 + +aup의 원칙(002)을 따른다. 위치가 정수가 아니듯 참·거짓은 수가 아니고, 길이에 단위를 적듯 정수는 정확하다. 둘 다 Pure +검증기의 스택 종류가 되어, 검증된 모듈은 실행 중에 타입을 검사하지 않는다(008). + +## 1단계: `bool` + +**언어(aup).** + +- 타입 `bool`, 리터럴 `true`와 `false`. +- 비교(`< <= > >= == !=`, text 비교), `has`, 논리(`&& || !`)가 bool을 낸다. `&&`와 `||`는 지금처럼 양쪽을 모두 계산한다. +- 조건 자리(`if`, 조건식, `where`, `require`, `count`와 `first`의 조건, 걸러진 표)는 bool만 받는다. 수를 주면 진단이 + 고치는 법을 말한다(`x != 0`). +- bool끼리 `==`와 `!=`는 된다. 크기 비교, 산술, `sum`·`max`·`min`·`distinct`는 안 된다. 키 있는 목록의 키가 될 수 없다. +- 선언: `state on = false`, 레코드 필드 `done = false`, 메시지와 출력의 필드 `ok: bool`, 보기와 열은 bool 식이면 bool이다. +- 보간(`"{done}"`)은 `true`나 `false`다. + +**모듈 형식 v6(Pure).** 판을 올린다. 비교의 결과 종류가 바뀌므로 v5 모듈은 다시 빌드한다. + +- 검증기의 스택 종류에 bool을 더한다. 실행 중의 값은 수 칸의 0과 1이다. +- bool을 내는 명령: LT–NE, TEXT_COMPARE, LIST_HAS, AND·OR·NOT, 새 명령 BOOL_CONST(값 0이나 1). +- bool을 받는 명령: JZ, REQUIRE, AND·OR·NOT, 집계의 포함 여부(count와 first는 bool 하나, sum·max·min은 수와 bool), + 걸러진 표의 필터, 새 명령 BOOL_TEXT(bool → text, `true`·`false`). +- 새 타입 번호: 상태 5(bool, 8 B 값은 f64 0이나 1), 레코드 필드 2(bool, 기본값 f64 0이나 1), 메시지 필드 6(bool, 접두부의 + 1바이트 0이나 1), 보기 3(bool). 지역 칸의 담는 것 2(bool). +- 메시지의 bool 필드 바이트가 0이나 1이 아니면 메시지가 `limit`으로 실패한다(도착할 때, 015의 거절과 같은 자리). + +**경계(015에 더한다).** + +- JSON: bool 필드는 `true`·`false`만 받는다(`0`, `1`, `"true"`는 거절). 보기와 표의 bool은 `true`·`false`다. +- 쿼리: `true`·`false`. +- 저장: 목록의 bool 필드는 수 열의 0과 1이다(저장 형식도 수다). 레코드의 필드 타입이 뜻을 정한다. +- 전달: 링크의 FIELDS와 HTTP 전달의 JSON이 bool을 bool로 싣는다. 받는 입력의 필드도 bool이어야 한다. 넓히기는 없다. +- 모듈 교체: 수 필드나 상태가 bool이 되면 0과 1은 `false`와 `true`로 옮기고, 다른 수는 기본값이 된다. bool이 수가 되면 + `false`와 `true`는 0과 1이다. +- 화면(Vega): 글자로는 `true`·`false`다(보간과 같다). 앱이 다르게 보이고 싶으면 조건식으로 글을 고른다. + +**옮기는 비용.** 예제의 수 깃발을 bool로 바꾼다(`done`, `urgent`, `running`, `holding`). 저장된 0과 1은 위의 교체 규칙으로 +그대로 이어진다. + +## 2단계: `i64` + +1단계가 들어간 뒤 같은 방식으로 한다. 정할 것을 미리 적는다. + +- 스택 종류 i64. 값 칸은 수와 정수를 겹쳐 든다(검증기가 종류를 보장한다). +- 정수 리터럴은 문맥으로 수나 i64가 된다(`n = n + 1`에서 `n`이 i64면 `1`도 i64). +- `+ - *`는 넘치면 사건이 실패한다. `/`와 `%`는 내림한다(지금의 `%`와 같다). 0으로 나누면 `divide`. +- 수와 섞지 않는다. `number(i)`는 2^53 안에서만, `i64(x)`는 정수이고 범위 안일 때만 되고, 아니면 사건이 실패한다. +- 저장: 목록의 8바이트 열, 저장 형식은 정수(로그에서는 zigzag varint). +- JSON과 쿼리: 소수점과 지수 없는 정수 글자만 받고, 넘치면 거절한다. 보기는 정확한 자릿수다(자바스크립트의 수로 읽는 쪽은 + 2^53 너머를 잃는다: 문서에 적는다). +- 전달: u32는 i64로 넓힐 수 있다. i64와 수 사이는 넓히지 않는다. +- 키 있는 목록의 키가 될 수 있다. `sum`은 넘치면 실패한다. + +## 검사 + +- aup: 진단(수를 조건으로, bool 산술, bool 크기 비교, bool 키), 받아들이는 형식, 참조 모델. +- Pure: test-module(검증기가 bool을 섞은 모듈을 거절한다, bool 상태·필드·보기·보냄), `server_meaning`에 bool 필드(JSON, + 쿼리, 링크, HTTP 전달, 재시작, 교체). +- Vega: bool 보기가 표면마다 `true`·`false`로 보인다. -- cgit v1.2.3