Files

T

coolguy c7cba061b3 docs: 셀프호스팅 전 목록이 끝난 상태를 적는다

렉서가 알려준 것도 함께: R11 의 모양 -- 아레나가 소유하고 인덱스가 가리킨다 --
은 쓸 수 있다. 토큰이 from/len 을 들고 소스가 옆에서 같이 다니는 것은 장황하지만
막히지 않는다. 모든 함수가 src 를 하나 더 받는 것이 그 값이다.

파일 크기 규칙을 AGENTS 에 넣었다.

2026-08-17 07:36:14 +09:00

4.1 KiB

Raw Blame History

TODO

uv run python tests/run.py     217/217   컴파일러가 프로그램에 대해 뭐라고 하는가
uv run python tests/exec.py     27/27    컴파일된 프로그램이 실제로 무엇을 하는가

.fe → fec → i386 asm → wasm → wlink → .exe → Windows 11

셀프호스팅 전에 하기로 했던 것 — 전부 끝남


`@print` / `@fprint` 전개	SPEC §6.3.1 대로 컴파일 단계에서 편다. 진단 한 줄이 한 줄이다
파일과 명령줄	열기·읽기·쓰기·닫기, `argv`. 프로그램이 소스에 박힌 데이터 밖으로 나왔다
`match` 페이로드와 `if let`	태그드 유니온을 안전하게 해체한다
조용히 잘리던 상한	자란다. 넘쳐도 틀린 코드가 아니라 오류다
`mem.Arena`	R11 이 말하는 아레나 + 핸들이 실제로 쓸 수 있다
레지스터 할당	블록 단위 선형 스캔. calc 4437 → 3796 줄 (-14%)
Ferro 렉서를 Ferro 로	강제 함수. 돌아간다

렉서가 알려준 것: R11 의 모양(아레나가 소유하고 인덱스가 가리킨다)은 쓸 수 있다. 토큰이 from/len 을 들고 소스가 옆에서 같이 다니는 것은 장황하지만 막히지 않는다. 모든 함수가 src 를 하나 더 받는 것이 값이다.

셀프호스팅으로 가는 길

#	일	규모	비고
1	Ferro 파서를 Ferro 로	대	렉서 다음. AST 를 아레나 + 핸들로 짓는다
2	`std.map`	중	심볼 표에 필요. 지금은 `List` 선형 탐색뿐
3	`io.read` 로 줄 단위 읽기	소	지금은 버퍼 하나로 통째로 읽는다
4	여러 반환값 또는 out 파라미터	중	`&mut` 재대여로 되지만 장황하다
5	`fec` 을 Ferro 로	대	여기까지 오면 언어가 자기 무게를 견딘다

언어에 남은 구멍


`[value; count]` 배열 반복 리터럴	없다. 큰 버퍼는 `undefined` 로 선언한다
정수 폭 섞임	`1 + 함수호출()` 같은 데서 뻑뻑하다. 리터럴이 늘 맞춰주지 않는다
`@sprint`	전개하지 않는다. `@print`/`@fprint` 만
`interrupt` `shared` `atomic` `critical`	파싱만 되고 의미 없음. SPEC §11 에서 v0.2
lowering 미구현 진단	`internal: cannot lower X`. 사용자 오류처럼 보이지 않는다

네 판단을 기다리는 것

세션 중에 이동 규칙 두 곳을 완화했다. R4(참조는 집합 저장소에 못 들어감)는 건드리지 않았다.

	무엇	왜	대안
1	`&mut T` 를 `&mut T` 파라미터에 넘기는 것은 이동이 아니라 호출 동안의 재대여	없으면 배타 파라미터를 다시 넘기는 일이 함수당 한 번뿐이다. 렉서도 계산기도 이것 없이는 못 쓴다	되돌리면 재귀 하강 파서를 못 쓴다
2	자기 `drop` 안에서는 필드를 꺼낼 수 있다 (R7 예외)	객체가 사라지는 중이라 뒤에 남아 읽힐 것이 없다	`drop(self: Self)` 로 값을 소비하게 바꾸면 R7 을 안 건드려도 된다

정해진 것


타깃	i386 하나. 세그먼트 없음, `far` 영구 제외 (SPEC §2)
`usize`/`isize`	타깃의 포인터 폭. 비트 수를 약속하지 않아 64비트 문이 닫히지 않음
제네릭	모노모피제이션. 순수 프론트엔드 기능이라 IR 에 제네릭 개념이 없음
덩어리 전달	전부 주소로. ISA 마다 다른 구조체 전달 ABI 를 피해감
트랩	`trap <reason> <line>` → `fe_trap(reason, UNIT_FILE, line)`
슬라이스 배치	포인터 다음 길이. 오프셋은 `lowerpri.h` 한 군데에만
오류 코드	`error.Name` 을 빌드 전체에서 모아 철자 순으로 1부터
레지스터	ebx·esi·edi 를 블록 안에 머무는 임시값에 준다. eax/ecx/edx 는 스크래치

파일 크기 규칙

2,000 줄을 넘기지 않는다. 웬만하면 1,000 줄. 넘으면 나눈다 -- check.c 는 3,937 줄이었고 lower.c 는 1,913 줄이었다. 지금 가장 큰 것은 1,000 줄이다.

4.1 KiB Raw Blame History