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

[차별없는차단(pnacrd8pn5la)]

코드몽키를 벗어나기 위해 SCIP를 정독중. 

저번 편에서는 프로그래밍 언어를 이해할 때는 이 언어가 어떻게 간단한 아이디어를 복잡한 아이디어로 만들 수 있는지 

그것을 이해하는것이 중요하다라는 것을 공부했음. 

그리고 가장 간단한 개념들을 익히고, 추상화의 가장 기본이 되는 네이밍을 익혔다. 

대충 넘어간 간단한 개념들을 다시 복습해 보자면

Lisp 프로그래밍 언어에서 

>> 1 

이렇게 입력하면 1 이라고 interpreter 에서 나온다. 

여기서 1이 expression임. 

그리고 

>> (+ 1 4) 

이건 1 더하기 4와 같다. 

여기서 +, 1, 4 를 subexpression 

괄호로 묶여 있는것을 combination이라고 부른다. combination도 expression 임. 

그리고 +는 operator, 1 4 는 operand라고 부른다. 

그리고 Lisp에서 네이밍은 

>> (define x 4) 

이렇게 함. 파이썬으로 치자면 x = 4랑 같다. 

그리고 네이밍을 하기 위해 꼭 필요한것이 value를 심볼에 어사인 하고, 나중에 심볼을 통해서 value를 읽어 올 수 있는 

name -object pair 를 트랙킹 하는 메모리이다. 

이 메모리를 environment (global environment)라고 한다. 

여기까지가 복습. 

다음 공부할 프로그래밍의 기본 개념은 combination 의 처리방법이다. 

combination 을 처리하기 위해 인터프리터는 다음과 같은 룰을 따른다. 

1. combination 의 subexpression 을 처리한다. 

2. 가장 왼쪽의 subexpression (operator)의 처리를 그 옆의 subexpression (operand)에게 적용시킨다. 

1번 룰을 보면 combination 을 처리하기 위해서는 그 안의 subexpression 을 먼저 처리해야 하는걸 알 수 있다. 

즉, 1번룰은 subexpression 을 처리하기 위해 다시 1번룰을 부르는, 자연적으로 recursive (재귀, 반복)적인 사고방식인 것이다. 

예를 들어서 아래와 같은 combination 을 생각해 보면 

(* (+ 2 (* 4 6) (+ 3 5 7))

이렇게 트리 모양으로 나타내어 질 수 있음. 재귀적으로 룰이 적용되어 지는걸 확인 가능하다. 

그리고 또한, 1번 룰을 계속 적용하는것으로 인해 결국에는 프리미티브 익스프레션을 써야 한다는것을 알 수 있다. 

결국 모든 프로시져는 combination 이 아닌 가장 기본적인 expression 으로 귀결된다는것이다. 

프로그래밍 언어라는것은 가장 기본이 되는 프리미티브 expression 이랑 프리미티브 프리시저, 그리고 몇몇 special forms (일반 combination 처리 방법을 따르지 않는 특별한 형태들)로 이루어져 있다는거. 

음. 그렇군. 

결국 프로그래밍 언어라는건 간단한 아이디어를 어떻게 복잡하게 조합해 나가느냐~ 이걸 이해하는게 중요한데 

그 간단한 아이디어를 표현하는 도구로서 프리미티브한 익스프레션이랑 프리시저, 스페셜 폼이 이용되고 있다 ~

그리고 그것들을 조합하는 간단한 룰이 존재한다 라는것인가. 

여태까지 배운건 뭐... 체스 말이 폰이 있고 나이트가 있고, 체스 판은 눈금이 몇개고 폰은 앞으로 한칸씩 움직일 수 있고~ 이런것을 배운것이군. 

앞으로는 체스의 전략이 나오는건가 오호... 

[태보미(taebomi)]

프로그래밍 언어론 공부했던거 생각나서 어질어질했어오...

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[차별없는차단(pnacrd8pn5la)]

요약본인거랑 내가 그지같이 써서 그런듯. pdf 다운로드 가능하니 직접 읽어보면 다를거임

[익명(110.11)]

표현식이란건 거창한게 아니고 Lambda Calculus 에서 Lambda expression 을 뜻하는거 뿐임 람다계산법을 공부하는게 훨씬 도움될듯