diff options
Diffstat (limited to 'docs/design/027-computation-core.md')
| -rw-r--r-- | docs/design/027-computation-core.md | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/docs/design/027-computation-core.md b/docs/design/027-computation-core.md index 6d24433..06e48ec 100644 --- a/docs/design/027-computation-core.md +++ b/docs/design/027-computation-core.md @@ -560,6 +560,15 @@ - 008: NUM_TEXT의 10진 자릿수, 메시지 행의 i64 칸(2의 보수, 리틀 엔디언 8바이트). aup의 002: `.Nd`. - 명령 수(b45 대 b44): 실행기만의 BFS +0.09%, 나머지 ±0.001% 안이다. 은행 질의(s44와 s45를 한 번에 번갈아 여섯 번의 중앙값)는 in_credit −0.59%, per_branch −0.34%, ranks −0.20%, 나머지 ±0.01% 안이다. 일곱 질의의 답은 두 빌드에서 바이트까지 같다. + - **5d 만듦(2026-10-19).** + - Pure: 코드는 그대로다. 실행 중의 교체(`pure_app_replace`), 저장소에서의 시작(저장된 수·bool·i64 상태), 레코드가 바뀐 리스트의 + 이전(메모리와 이미지)이 이미 한 함수 `pure_cell_as`로 옮긴다: 정수인 수(−2^63 이상 2^63 미만, −0은 0) → i64, 절댓값 2^53 + 이하의 i64 → 수, 0·1 ↔ bool, 그 밖은 새 기본값이다. + - 시험: aup의 시험(`number_kinds_carried`)이 수 상태 둘(5, 2.5), i64 상태 둘(7, 2^53 + 1), 수 필드의 행 넷(3, 2.5, −0, 1e300)을 + i64·i64·수·bool 상태와 i64 필드로 바꾼 모듈로 옮긴다: 5, 기본값 −2, 7, 기본값 false, 행 3, 9(기본값), 0, 9. 실행 중의 교체와 + 저장소에서의 두 번의 시작(옮긴 뒤 옮긴 대로 저장된 것)이 같고, 이전 모듈로 되돌아가면 false는 i64의 0이다. + - 008: 교체와 시작의 규칙에 i64, `values`와 리스트 이미지의 i64 칸(2의 보수, 리틀 엔디언 8바이트). + - 명령 수: Pure의 코드가 그대로라 세지 않았다. **순서의 까닭.** - 1과 2가 묶음의 명세 대부분을 연다. 가장 값이 크다. |