sicp.io
커리큘럼으로 돌아가기

제4장 · 메타언어적 추상화

원서의 4개 절에 걸쳐 구성된 23개의 실행 가능한 수업입니다.

시작하기

제4.1절 · 메타순환 평가기

수업 10개

  1. 4.1.1eval은 식을 분류하고 apply는 적용을 마무리한다.학습하기
  2. 4.1.2특수 형식은 무엇을 평가할지 고른다.학습하기
  3. 4.1.3프로그램은 프로그램을 데이터로 읽을 수 있다.학습하기
  4. 4.1.4새 문법을 평가기가 이미 아는 규칙으로 다시 쓴다.학습하기
  5. 4.1.5프레임과 프로시저와 진리값과 인자 목록도 평가기의 데이터다.학습하기
  6. 4.1.6환경은 기호에 값을 준다.학습하기
  7. 4.1.7평가기는 유한한 프로그램을 읽고 환경을 보존할 수 있다.학습하기
  8. 4.1.8프로그램은 만들고 바꾸고 살펴본 뒤 평가할 수 있다.학습하기
  9. 4.1.9평가기는 지역 초기화를 명시적인 형태로 바꿀 수 있다.학습하기
  10. 4.1.10한 번 분석하고 계획을 여러 번 실행한다.학습하기

제4.2절 · Scheme의 변형과 지연 평가

수업 4개

  1. 4.2.1평가 순서는 인자가 언제 작업이 되는지 결정한다.학습하기
  2. 4.2.2메모이즈된 thunk는 요구된 작업을 최대 한 번 수행한다.학습하기
  3. 4.2.3thunk는 일을 미루고 값을 기억한다.학습하기
  4. 4.2.4지연 평가기는 보통 프로시저를 비엄격 cons처럼 동작하게 할 수 있다.학습하기

제4.3절 · Scheme의 변형과 비결정적 계산

수업 3개

  1. 4.3.1첫 성공에서 멈추지 않고 모든 성공을 남긴다.학습하기
  2. 4.3.2실패는 저장해 둔 다음 대안을 다시 시작한다.학습하기
  3. 4.3.3퍼즐은 선택과 제약을 말하고 실패는 다음 선택을 재개한다.학습하기

제4.4절 · 논리 프로그래밍

수업 6개

  1. 4.4.1규칙은 질의 하나를 더 작은 목표들의 수열로 바꾼다.학습하기
  2. 4.4.2질의는 프레임 스트림을 다른 프레임 스트림으로 바꾼다.학습하기
  3. 4.4.3프레임은 일관된 패턴 바인딩만 기록한다.학습하기
  4. 4.4.4닫힌 세계의 부정은 완전한 사실 경계를 요구한다.학습하기
  5. 4.4.5재귀 규칙에는 보이는 탐색 경계가 필요하다.학습하기
  6. 4.4.6unification은 assertion과 이름을 바꾼 rule을 하나의 프레임 프로토콜로 잇는다.학습하기

장 점검

다음으로 넘어가기 전에 장의 핵심을 다시 연결합니다.

복습하기