🌐 Read in English
Confirmed 2026-07-20: 독자가 별도 선호 없음을 확인하여 초안 선택을 그대로
확정함. 전 문서에 이 표기를 일관 적용한다.
Book prose: 문어체 평서형("~한다/~이다"). Korean CS textbook standard.
Reader-addressing imperatives in exercises: "~해 보자" style.
English Korean
Where we are 현재 위치 What happened 무슨 일이 있었나 Why it matters 왜 중요한가 Notebook margin 실험 노트 여백 Try it 직접 해보기 Background for chapter N N장의 배경지식 Build note 빌드 노트
Code blocks, transcripts, commands, file paths, identifiers, commit shas,
sha:path citations, flag names, and quoted commit subjects (e.g. "Make a
real compiler.") — commit subjects get a Korean gloss in parentheses at
first occurrence per document.
English Korean Note
lambda calculus 람다 대수 combinator 컴비네이터 bracket abstraction 브래킷 추상화 확정 graph reduction 그래프 축약 reduction = 축약 (PL 관례) beta-reduction 베타 축약 reduction rule 축약 규칙 redex 리덱스 first use: 리덱스(축약 가능한 식) lazy evaluation 지연 평가 strict / eager 엄격한 / 즉시 평가 sharing 공유 thunk 썽크 first use: 썽크(미평가 식) spine (stack) 스파인 (스택) indirection node 간접 노드 cell / node 셀 / 노드 heap / stack 힙 / 스택 mark-scan garbage collection 마크-스캔 가비지 컬렉션 GC = 가비지 컬렉션 free / bound variable 자유 변수 / 속박 변수 variable capture 변수 포획 environment 환경 fixed point 고정점 Y combinator Y 컴비네이터 recursion 재귀 parser / parsing 파서 / 파싱 pretty-printer 프리티 프린터 확정 desugaring 디슈가링 first use: 디슈가링(문법 설탕 풀어내기) self-hosting 셀프 호스팅 bootstrap 부트스트랩 type checking 타입 검사 type signature 타입 시그니처 확정 pattern matching 패턴 매칭 fixity 결합성과 우선순위 문맥에 따라 풀어 씀 commit 커밋 worktree 워크트리 branch 브랜치 repository 저장소 chapter / appendix 장 / 부록 exercise 연습 문제 the seed (ch. 01 title) 씨앗 제목은 "The seed (씨앗)" 병기 in-place update 제자리 갱신 하이픈 없이 call-by-need 필요에 의한 호출 확정 self-application 자기 적용
Doc Korean title
00 — Overview 개관 01 — The seed 씨앗 02 — A real compiler 진짜 컴파일러 03 — Growing the language 언어 키우기 04 — Talking to the world 세상과 대화하기 05 — Lab notebook: the working habits 실험 노트: 작업 습관 06 — Becoming Haskell 하스켈이 되어 가기 07 — The self-hosting push 셀프 호스팅 총력전 08 — Bootstrap 부트스트랩 09 — Types at last 마침내 타입 Lambda calculus and SKI combinators 람다 대수와 SKI 컴비네이터 Bracket abstraction 브래킷 추상화 Graph reduction and laziness 그래프 축약과 지연 평가 The Y combinator and recursion Y 컴비네이터와 재귀 Parser combinators 파서 컴비네이터 Bootstrapping a compiler 컴파일러 부트스트랩 Hindley-Milner, gently 힌들리-밀너, 차근차근 How this book was made 이 책은 어떻게 만들어졌나
English Korean Note
typeclass 타입 클래스 module / import / export list 모듈 / 임포트 / 익스포트 목록 qualified import 한정 임포트 list comprehension 리스트 컴프리헨션 operator section 연산자 섹션 serialization / deserialization 직렬화 / 역직렬화 monadic IO 모나딕 IO primitive 프리미티브 unification 단일화 PL 관례 metavariable 메타변수 occurs check 발생 검사 first use: 발생 검사(occurs check) instantiation / generalization 인스턴스화 / 일반화 substitution 치환 type inference 타입 추론 let-polymorphism let 다형성 forall forall 코드 표기 유지 use-after-free 해제 후 사용 first use: 해제 후 사용(use-after-free) stack overflow 스택 오버플로 profiling 프로파일링 verbosity / verbose flag 상세 출력 / 상세 출력 플래그 Makefile target 타깃 milestone 이정표 savepoint 저장점 scope check 스코프 검사 desugarer 디슈가러 symbol table 심볼 테이블 fixpoint (of a build) 고정점 ch08 은유 포함 oracle (correctness) 오라클 first use: 오라클(정답 판별 기준) Build note 빌드 노트 blockquote 제목 > **빌드 노트:** Habit N (ch05 구조) 습관 N
nfib.comb 뒤 조사는 모음 종성 읽기("…콤비")를 따라 가/를/는을
쓴다. 전 문서 일괄 적용..comb 파일, uhs/mhs, GHC, 파일 경로, 플래그, 커밋 제목:
원문 유지(보호 대상).