Programming Language Chapter 6~8

교재 : 프로그래밍 언어의 이해 / 한상영 / 홍릉과학출판사
교수 : 한상영 교수님
학기 : 2003/봄

Chapter 6. Procedures and Functions

Activation Frame
- Caller : retrun address와 frame pointer 저장. argumet들을 stack에 역순으로 push.
- Called procedure : registers 저장. local variable을 위한 공간을 stack에 allocate.


Chapter 7. Obeject-Oriented Programming

C++ is better than C
- 프로그램 작성에 용이 : 올바른 프로그램 작성(?)
- Information hiding 측면
- Software Reuse 측면


Chapter 8. Fuctional Programming-1 and λ Calculus

Conversion Rules
- δ-rule : (+ 1 2) -> 3
- β-rule : (λx. * x x) 2 -> (* 2 2) : λ-lifting
- α-rule : (λx. (λx. x) (+ 1 x)) 1 -> (λx. (λy.y) (+ 1 x)) 1

Type Derivation
- val map = fn f m -> if null m then nil else (f (hd m)) :: map f (tl m) ;
- val factorial = fn n -> if 0 n then 1 else (n * (factorial (n - 1))) ;