PLT - Lecture 11

📘 11장: Extensions 요약

✅ 1. Variable Initialization (변수 초기화)

📌 개념
변수 초기화는 C에서 int a = 1;처럼 새로운 변수에 값을 할당하는 구조입니다.
Racket에서도 같은 의미로 (let ([a 1]) ...) 형태를 사용합니다.

📌 AST 표현
racket

(letC 'a (numC 10)     ; a = 10
  (plusC (idC 'a) (numC 5))) ; a + 5

해석: 'a를 10으로 바인딩하고, 그 환경에서 a + 5를 수행하라.

📌 추상 구문 트리 (AST)

          letC
         /  |   \
      'a  numC  plusC
           10    /  \
               idC  numC
                'a   5

✅ 2. Desugaring (설탕 제거: letC를 appC로 변환)

📌 아이디어
letC는 특별한 구조가 아니며, 람다(lamC)와 함수 호출(appC)을 이용해서 똑같이 표현할 수 있습니다.

📌 변환 예시 (desugaring)
racket

(letC 'a (numC 10) 
  (plusC (idC 'a) (numC 5)))

⇨ 아래와 같이 변환됨

racket

(appC 
  (lamC 'a (plusC (idC 'a) (numC 5))) 
  (numC 10))

📌 인터프리터에서의 letC 해석
racket

[letC (name val body)
  (interp (appC (lamC name body) val) env store)]

즉, let은 함수의 호출(appC) 로 해석됩니다.

✅ 3. Lists (리스트 구조)

📌 표현
racket

(list 10 20 30)    ; 또는 (cons 10 (cons 20 (cons 30 empty)))

📌 AST 예시
racket

(consC (numC 10) 
  (consC (numC 20) 
    (consC (numC 30) emptyC)))

📌 재귀적 구조
consC는 리스트의 head와 tail로 구성됨

재귀적으로 연결되어 리스트 전체를 구성함

📌 Value 타입 확장
racket

(listV elems)   ; listof Value 타입으로 해석됨

📌 해석 방식
racket

[consC (head tail)
  (let ([head-val (interp head ...)])
    (listV (cons head-val (listV-elems (interp tail ...)))))]

✅ 4. Objects (객체 구조)

📌 예시 (C 스타일)
c

class Point2D {
  int x = 3;
  int y = 5;
  int add(int a) { return x + a; }
}

📌 AST 표현
racket

(objC 
  (list 'x 'y 'add) 
  (list (numC 3) (numC 5) 
        (lamC 'a (plusC (idC 'x) (idC 'a)))))

📌 내부 구성
objC는 두 개의 리스트로 구성됨

names : 변수명/메서드명 (symbol 리스트)

vals : 해당 값 (numC 또는 lamC 같은 ExprC)

📌 의미
객체는 일종의 환경(environment) 으로 해석됨
즉, names와 vals를 짝지어 바인딩하면 환경처럼 작동함

📌 핵심 요약표

개념	표현	역할
letC	(letC name val body)	지역 변수 선언, 초기화 후 body 실행
Desugaring	letC → appC(lamC ...)	let을 함수 호출로 단순화
list	consC head tail	재귀적 리스트 구성
listV	리스트 타입 결과값	Value 타입에 리스트 추가
objC	(objC names vals)	이름-값 환경 구조, 객체 표현