diff options
Diffstat (limited to 'docs/design')
| -rw-r--r-- | docs/design/002-dsl-direction.md | 32 |
1 files changed, 30 insertions, 2 deletions
diff --git a/docs/design/002-dsl-direction.md b/docs/design/002-dsl-direction.md index 4f7e855..8c85082 100644 --- a/docs/design/002-dsl-direction.md +++ b/docs/design/002-dsl-direction.md @@ -615,7 +615,7 @@ on hash { } ``` -- **16진 리터럴** `0x…`는 어디서나 i64다. +- **16진 리터럴** `0x…`는 i64다. 수가 오는 자리에서는 수다(아래 "140의 마찰을 걷어 냄"). - **비트 연산** `&`, `|`, `^`, `~`, `<<`, `>>`는 i64를 끝없는 2의 보수 위의 정수로 계산한다(파이썬의 정수와 같은 뜻). - `x << n`은 x·2^n이고, i64를 넘으면 이벤트가 `overflow`로 실패한다. - `x >> n`은 내림한 x / 2^n이다. @@ -948,7 +948,7 @@ ys = [4, 5] # let의 리스트를 비우고 � - **블록 안.** let의 리스트를 if, for, while, match의 블록에도 둔다. 뜻은 let을 지날 때마다 새 리스트다. 리스트는 블록이 끝나면 보이지 않는다. 같은 이름은 한 레코드의 리스트 하나이고, 핸들러나 fn의 이벤트 리스트 하나다(`let.이름`). 접기와 필터의 블록에는 둘 수 없다. -- **`xs = [...]`.** let의 리스트를 비우고 원소를 차례로 붙인다. 저장되는 리스트에는 쓰지 않는다(진단). +- **`xs = [...]`.** let의 리스트를 비우고 원소를 차례로 붙인다. 저장되는 리스트에도 쓴다(아래 "140의 마찰을 걷어 냄"). - **비용.** 비우기는 항목을 하나씩 지운다(`while xs.count > 0 { xs.remove(…) }`, 수의 리스트는 자리 `count - 1`, 다른 리스트는 `.last`). Pure에 한 번에 비우는 명령이 없어서다. 항목 수에 비례한다. - **고친 것.** 식 안의 리스트 리터럴이 원소를 버리고 있었다(필드의 `[1, 2]`가 빈 리스트로 됐다). 이제 원소를 잇는다. 레코드 필드에는 @@ -978,3 +978,31 @@ view left = pending # 바이트 보기 - 검증: `bytes_state`가 0x00과 0xff가 든 무작위 바이트를 붙이고 자르며 300걸음을 저장소로 15번 다시 시작하며 파이썬과 견준다. 같은 이름의 text로 저장소에서 시작하고 실행 중에 교체해, UTF-8인 바이트는 남고 아닌 것은 새로 시작하며, 바이트로 돌아오면 text가 가졌던 것을 찾는다. 진단 셋(커서, insert, text에 바이트). + +### 140의 마찰을 걷어 냄 (Pure 140 뒤, 2026-10-19) + +```text +let codes, classes: list of number # 리스트의 let 여럿을 한 줄에: 하나씩, 빈 채로 +boxes[k].x, boxes[k].y = at, top + offset # 대상에 필드와 항목이 섞여도: 값을 먼저 모두, 그다음 왼쪽부터 +trailers, j = fields(d, c + 2) # 리스트에 리스트 값을 통째로(fn의 것, let의 것, 다른 리스트) +boxes = [] # 저장되는 리스트도 비우고 채운다 +rttvar = 0.75 * rttvar + 0.25 * abs(srtt - r) # abs: 수와 i64, 식은 한 번 +rto = max(srtt + max(tick.period, 4 * rttvar), 1000) # 타이머의 주기(밀리초, now처럼) +if b == 0x2010 { ... } # 수를 만나는 16진은 수 +``` + +- **리스트의 let 여럿.** `let a, b: list of R`은 이름마다 그 레코드의 리스트 하나다. 처음 원소는 따로 준다(진단). +- **대상 여럿.** `a, xs[i].x, at.y = …`처럼 대상에 항목의 필드, 위치의 항목, 인덱스의 필드가 섞여도 된다. 값을 먼저 모두 숨은 + let에 담고(리터럴은 바로), 대상마다 왼쪽부터 준다. 그래서 `i, xs[i] = 1, 7`의 `xs[i]`는 새 `i`를 읽는다(파이썬과 같다). 이름만이면 + 예전과 같은 코드다. +- **리스트에 리스트 값.** `xs = v`는 v(fn이 돌려준 리스트, let의 리스트, 다른 리스트)를 먼저 복사하고(xs가 그 안에 있을 수 있다), xs를 + 비우고, 항목을 차례로 붙인다. 키 있는 리스트는 키로 더한다. `xs = ys`는 ys를 그 자리에서 걷고, `xs = xs`는 그대로다. 다른 레코드나 + 종류의 값은 거절한다(`'xs' takes a list of F, not G`). `xs, j = f(x)`처럼 이름 묶음에 리스트가 끼어도 된다. +- **비용.** 비우기와 채우기는 항목마다 지우고 붙인다. 손으로 쓴 고리와 같은 명령이다. 줄이 줄 뿐 빨라지지는 않는다. +- **`abs(x)`.** 수와 i64를 받는다. x를 한 번 셈해 복제하고(PICK), 그 부호를 바꾼 것과 큰 쪽을 낸다(MAX). −0은 +0이 되고, i64의 + 가장 작은 값은 `overflow`로 실패한다. Pure의 새 명령은 없다. +- **`tick.period`.** `every` 입력의 주기를 밀리초로 준다(`now`가 세는 단위). 상수이므로 어디서나 읽는다. +- **16진 리터럴.** 수가 오는 자리(수와의 비교와 셈, min과 max, 수의 상태·let·필드에 주기)에서는 그 수다. 2^53을 넘으면 정확하지 않으므로 + 거절한다(진단). 따로 서거나 i64를 만나면 예전처럼 i64다. 비트 연산은 i64를 원하므로 그대로다. +- 검증: `frictions`가 무작위 100 사건으로 위의 꼴을 파이썬과 견주고, i64의 가장 작은 값의 `abs`가 실패하는지 본다. 진단 여섯. + aup, Pure, Vega의 aup 소스 81개의 모듈은 바이트까지 같다(예전에 컴파일되던 꼴은 바뀌지 않는다). |