[💬] 코드몽키 벗어나기 - 7

나는 전공서적을 읽을때 결국 이 책이 말하고자 하는것이 무엇인가? 를 파악하는것을 가장 중요하게 생각한다.

그래서 SICP의 전체 흐름을 다시한번 되짚어 보기로 했다.

SICP는 5개의 챕터로 되어있고 각각의 챕터의 주제를 살펴보면 아래와 같다.

챕터1. Building Abstractions with Procedures (프로시저로 추상화를 빌딩하는 방법)

-> 프리미티브 데이터와 프리미티브 프로시저를 어떻게 조합하고 추상화해서, 더욱 복잡한 프로시저를 간단하게 나타내는가를 설명함.

-> 프로시저의 추상화, 여러 프로시저의 개념등을 설명하고 있음.

챕터2. Building Abstractions with Data (데이터로 추상화를 빌딩 하는 법)

-> 복잡한 데이터를 어떻게 추상화해서 간단화 하는가, 어떻게 사용하는가.등을 설명

챕터3. Modularity, Objects, and State (모듈화, 오브젝트, 스테이트)

-> 프로그램이 덩치가 커질수록 organizational principle (조직 원칙?)이 매우 중요해진다.

-> 챕터 1, 2에서 배운 프로그래밍의 구성요소를 어떻게 구조를 짜고 조직할것인가 (organize). 어떻게 프로그램을 디자인할 것인가.

-> 프로그램의 디자인 원칙에 대해 배움.

챕터4. Metalinguistic Abstraction (??? 메탈링귀...뭐시기)

-> 챕터 1,2,3에서는 프로그래밍의 구성요소를 어떻게 조직해서 프로그램을 짜는지 공부했다. 하지만 Lisp은 실제로 써먹기에는 언어적으로 좀 그래.

-> 그래서 직접 언어를 만들어보기로 한다 (???) 결국 프로그래밍 언어라는건 또다른 프로그래밍일 뿐이니까

챕터5. Computing with 레지스터 Machines (레지스터 머신으로 계산하기)

-> 여태까지는 Lisp언어를 통해서 프로그래밍 언어를 통해 공부했다. 근데 Lisp 그 자체가 어떻게 돌아가는지는 아직 모르지?

-> 더 로우레벨로 들어가서 레지스터머신 보면 이해가 갈거야. 일단 레지스터 머신 직접 만들어보자 ㅎㅎ

음... 대충 이런내용인거 같다.

그러니까 처음에는 프로그래밍 언어의 구성요소를 파악하고,

다음은 그것을 어떻게 조직할것인가 어떻게 프로그램을 디자인할 것인가를 배움.

그 다음에는 새로운 언어를 한번 만들어보고,

다음은 그것보다 더 로우레벨로 컴파일러 쪽으로 내려가는듯?

목차를 읽는것 만으로도 가슴이 웅장해지네

여튼 SICP의 전체 흐름을 이해했으니, 여기부터는 오늘의 공부

----------------------------------------------

저번편에서는 프로그래밍의 추상화 개념중 하나인 Compound procedure랑

함수를 정의하는 procedure definition 에 대해 공부했다.

오늘은 그 복잡한 Compound procedure 를 이해할 수 있는 Substitution model 에 대해 공부한다.

Substitution model 이라는거 별거 없음.

몇번이고 추상화 된 복잡한 개념을 이해하기 위해서, 재귀적으로 그 추상화를 역으로 올라간다는거.

실제 예시는 귀찮아서 생략. SICP 19 페이지에 나옴.

근데 이 Substitution model은 단순히 프로시저가 어떤 의미를 가지고 있는지 이해하기 위한 수단이라는거.

실제로는 이런식으로 interpreter는 움직이지 않는다는거. 앞으로 이 책에서 더 복잡한 모델이 나올거라는거.

오늘은 여기까지

댓글 4