lisp언어에서 데이터를 코드로 사용한다는게 뭔지..

요즘들어 부쩍 프로그래밍에 대해 한계가 느껴져서
고민중이고 시험삼아 Lisp를 공부하고 있습니다.
만들어본 코드는 늘어나는데 생각을 코드로 뽑아내는데 한계가 느껴지는것 같기도 하고
제가 만든 코드를 볼때 뭔가 뻔하다는 생각만 듭니다.

lisp 언어에서 데이터를 코드로 사용한다? 데이터가 코드로 변환된다?
정확히 어떤 의미인지 몰라서 말로도 표현하기 힘든
그런게 가능하다고 해서 실험을 해봤습니다.
결과적으로 실험을 해놓고도 아직 정확한 실험인지 제가 뭘 실행한건지도 모릅니다만
저에게는 신선한 충격이라서 기록을 위해 남깁니다.

1. ret-plus 함수 정의

[32]> (defun ret-plus (x) (if x '+ '-))
RET-PLUS
[33]> (ret-plus t)
+

ret-plus라는 함수는 참을 인자로 주면 +라는 심볼을 반환하고 거짓이면 -라는 심볼을 반환합니다.

(lisp에서는 심볼이라고 하는것 같습니다.
C에서 '+'와 같은 것인줄만 알았는데 이 실험으로 같은게 아닌것 같다고 생각하고 있습니다.)

2. 리스트 타입의 데이터 생성

[34]> (list (ret-plus t) 4 3)
(+ 4 3)

list라는 함수의 인자로 함수 호출을 넘겼습니다. 함수의 인자가 함수 호출이 되는 것은
C에서도 가능하므로 함수 인자로 넘기는 데이터가 함수 호출이라는 코드가 되는 것인지
함수 인자로 넘기는 데이터가 함수 호출의 값이 되는 것인지는 불명확한것 같습니다.

3. 데이터를 evaluation

[35]> (eval (list (ret-plus t) 4 3))
7

마지막으로 eval이라는 리스트 처리? 함수를 호출했습니다.
이 코드는 이렇게 변환됩니다. (list (ret-plus t) 4 3) 의 결과값은 분명히 리스트타입의 데이터입니다.
그런데 eval 이라는 함수에 전달하자 eval은 데이터를 코드로 실행해버렸습니다.

4. 결과 해석

C에서 int arr[3] = {'+', 3, 4} 라는 배열이 있을 때, 배열이 자체적으로 실행되지는 않습니다.
eval 함수를 만드려면 if (arr[0] = '+') ........ 등으로 만들어서
배열을 처리하는 코드를 따로 만들어야 합니다.
따라서 C에서 eval 함수를 만드려면 배열의 첫 항목을 가능한 모든 함수 이름과 비교해야하는데
이건 사실상 불가능합니다. 그럴 필요도 없구요.
그런데 lisp에서는 리스트라는 타입의 데이터가 그대로 실행되었습니다.

정확한 실험인지는 모르겠습니다.
옛날 중학교때 take와 get의 차이를 이해못하고 아직까지도 모르고 있는게 생각났습니다.
Paul형님의 책 첫머리에서 C/C++이라는 언어의 한계를 벗어나는 표현이 가능하다는
설명이 있는데 굉장히 아리송한 느낌이 들고 있습니다.
데이터가 그 자체로 코드로 실행된다라...전혀 멍하네요.
여긴 어디? 난 누구?