aboutsummaryrefslogtreecommitdiffstats
path: root/docs/research/140-spec-suite.md
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-10-19 05:46:11 +0100
committereunhhu <[email protected]>2026-10-19 05:46:11 +0100
commit475f35cb45a77dc41029126370887fd33b332800 (patch)
tree3461a36d487301dbc15e68330430f540d8ec66c0 /docs/research/140-spec-suite.md
parentc545227f2461e92afc38a0e1317a288e8c653cc6 (diff)
downloadpure-475f35cb45a77dc41029126370887fd33b332800.tar.gz
pure-475f35cb45a77dc41029126370887fd33b332800.zip
028 and 140: list values' copying measured a second time (UAX #14's Text record copies its nine lets' lists a line: with building them, 260 of 1,774 instructions a code point, after inflate's code()), and a keyed list's floor seek (the last item keyed x or below) first wanted (UAX #14's ranges, a binary search by position, 360 instructions a code point), one spec behind it
Diffstat (limited to 'docs/research/140-spec-suite.md')
-rw-r--r--docs/research/140-spec-suite.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/research/140-spec-suite.md b/docs/research/140-spec-suite.md
index 1e42a4c..4a8d9f8 100644
--- a/docs/research/140-spec-suite.md
+++ b/docs/research/140-spec-suite.md
@@ -676,6 +676,8 @@
- 앞의 둘은 이제 핵에 들일 자격이 있다. 바이트 하나인 상태(저장, 교체, 보기, HTTP의 GET이 그것을 어떻게 다루는가)와 바이트의 비교
(TEXT_COMPARE의 인자로 할지, 새 명령으로 할지)는 설계 문서에서 정한다. 아직 시작하지 않았다.
- aup의 셋은 컴파일러의 일이다. Pure의 함수 서명은 이미 리스트를 받는다.
+- 키 있는 리스트의 floor 찾기(키가 x 이하인 마지막 항목): UAX #14가 범위를 위치로 읽는 이분 탐색으로 찾는다(코드 포인트당 명령
+ 360개). 그것을 원한 명세는 아직 하나다.
**결정점 뒤에 만든 것(2026-10-19).**
- 바이트의 `==`: TEXT_COMPARE의 인자 비트 `PURE_COMPARE_BYTES`(008). aup는 바이트끼리 견주고, 바이트를 만나는 문자열은 바이트다.