aboutsummaryrefslogtreecommitdiffstats
path: root/docs/research
diff options
context:
space:
mode:
Diffstat (limited to 'docs/research')
-rw-r--r--docs/research/140-spec-suite.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/research/140-spec-suite.md b/docs/research/140-spec-suite.md
index ca5cf83..6ca0c78 100644
--- a/docs/research/140-spec-suite.md
+++ b/docs/research/140-spec-suite.md
@@ -765,6 +765,9 @@
- `if … { return … }`의 규칙 줄은 파이썬과 거의 한 줄씩 맞는다.
**시간이 가는 곳.** 코드 포인트당 Pure 명령이 1,774개이고, 명령 하나에 약 3.9 ns가 든다.
+- 정정(045). 1,774는 일의 예산이 센 수다(블록을 쓰인 대로 센다). 실행기가 실제로 도는 명령은 549.9개이고, 하나에 약 11.7 ns,
+ 기계 명령 74개다. 아래의 나눔도 예산의 수다. 실제로 도는 명령과 기계 명령의 나눔은 [029](../design/029-past-one-node.md)의
+ "깨는 실험의 결과"에 있다.
- 위치마다의 리스트 아홉 개를 짓고 레코드로 묶는 데 260개다. 레코드를 지을 때 let의 리스트마다 항목을 복사한다(LIST_VALUE).
- 범위의 이분 탐색이 360개다(열두 번 남짓 저장 리스트의 항목을 읽는다). C는 종류를 두 단계 표에서 한 번에 읽는다(다른 성질은
이분 탐색).