목차

목차

제1장 자연과 설계의 유연성 1.1 계산과 건축 1.2 유연성을 위한 똑똑한 부품 1.3 중복성과 축중성 1.4 탐색 행동 1.5 유연성의 비용 제2장 영역 특화 언어(DSL) 2.1 조합자 2.2 정규표현식 2.3 래퍼 2.4 문제 영역의 추상화 2.5 요약 제3장 산술 주제의 변형들 3.1 산술 연산의 조합 3.2 확장성 있는 일반적 프로시저 3.3 예제: 자동 미분 3.4 효율적인 일반적 프로시저 3.5 효율적인 사용자 정의 형식 3.6 요약 제4장 패턴 부합 4.1 패턴 4.2 항 재작성 4.3 부합기의 설계 4.4 통합 부합 4.5 그래프상의 패턴 부합 4.6 요약 제5장 평가 5.1 일반적 eval/apply 해석기 5.2 비엄격 인수를 가진 프로시저 5.3 실행 프로시저로의 컴파일 5.4 탐색 행동 5.5 바탕 후속 프로시저들의 노출 5.6 큰 힘과 큰 책임 제6장 계층화 6.1 계층 활용 6.2 계층화 구현 6.3 계층적 산술 6.4 값의 의존성 주해 추가 6.5 계층화의 약속 제7장 전파 7.1 예제: 별과의 거리 7.2 전파 메커니즘 7.3 다중 대안 세계관 7.4 값들의 병합 7.5 가능한 세계 검색 7.6 전파는 축중성을 가능하게 한다 제8장 맺음말 부록 A 지원 소프트웨어 부록 B 스킴