Lisp Language

   (let ((+ my+) (- my-) (* my*) (/ my/))
       (+ 1 (* 2 3) (/ 4 5)))
   

예로 든 코드는 DynamicScoping을 보여주는 것이 아닙니다. Scheme은 하나의 namespace만 존재하기 때문에 위와 같이 할 수 있습니다. 위의 예를 들때 Scheme에 대해 언급한다는 것을 잊고 안한 것이 실수군요. Scheme은 (논쟁의 여지가 많은) Lisp의 일종으로, CommonLisp과 유사한 매크로(define-syntax)를 갖고 있습니다. 위에서 나온 let을 매크로라고 가정하면 Scheme에서는 다음과 같이 expand 되겠죠.

     ((lambda (+ - * /)
        (+ 1 (* 2 3) (/ 4 5)))
       my+ my- my* my/)
     

제 의도는 함수형 언어라고 해서 모두 그런 매크로가 가능한 것은 아니라는 것을 보여주려고 했습니다.

어떤 Scheme implementation인지 궁금하군요. 제가 생각하는 Scheme의 문제점 중 하나가 바로 이런 것입니다. 최소한 R4RS 당시에는 실제 프로그래밍 하기에는 부족한 것이 많았습니다. 하지만 아직도 프로그래밍 배울 때는 Scheme이 좋다고 생각합니다. 특히 The Little Lisper(후에 The Little Schemer와 The Seasoned Schemer로 확장된)는 마치 퍼즐을 푸는 것 같아 재미있었던 기억이 납니다.

   This(Dynamic Scope) led to very inscrutable bugs, because a procedure would work sometimes, and not others, 
   depending on the names of variables bound in other procedures.
      
   Dynamic scoping is generally considered to have been a big mistake, and was fixed in recent versions of Lisp, 
   such as Common Lisp,which were influenced by Scheme.
   

이상하군요. 그렇다면 위에서 언급한 fluid-let을 왜 제공할까요? 논쟁의 여지가 많은의 일부가 바로 이것 입니다. Scheme은 정치적으로 매우 보수적인 입장을 유지하면서 발전하고 있는 프로그래밍 언어입니다. 대부분의 Scheme과 CommonLisp사이에 문제점들은 정치적인 것들입니다. 제가 쓴 원래 글을 잘 읽어보면 어떻게 사용하는지 안다면 유용한 것이라고 했습니다. 칼을 사용하는 사람이 그 사용법을 몰라서 제 살을 베었다고 칼을 탓할 수는 없습니다. 다른 예로 CommonLisp의 CLOS는 다양한 method combination을 제공합니다. Method combination에 대해 잘 이해하지 못하고 프로그래밍 한다면 틀림없이 버그가 생길 것입니다. 또 다른 예로 CommonLisp은 MOP을 이용해서 어느정도(일부가 완전 표준이 아니기 때문에) MetaLevelProgramming을 할 수 있습니다. MOP에 대해 제대로 이해하지 못하면 역시 많은 고생을 하게 될것입니다. Scheme과 CommonLisp은 서로 많은 영향을 주고 받았지만, 특히 CommonLisp이 Scheme에 비해 좀더 적극적으로 좋은 생각들을 받아들였습니다. 위의 글은 정확하지 않은데, 그 이유은 CommonLisp이 Dynamic scoping을 버리지 않고 대신 Static scoping을 받아들였기 때문입니다.
Scheme에 많은 관심을 갖고 사용하다가 직업적으로 학계가 아닌 업계에 종사하며 프로그래밍 하게 된다면 결국 CommonLisp이 Java나 C++로 프로그래밍 하는 것보다 당연히 Lispy하고 Scheme보다는 실세계에서 경쟁력 있는 프로그램을 작성할 수 있습니다. Scheme의 문제점 중 하나는 아직까지 상업적으로 팔수있는 물건이라고 할만한 것이 없다는 점입니다. 4-5년 전쯤에는 Chez Scheme이 가장 가까운 구현이었음에도 불구하고 팔수있는 물건은 아니었습니다. --LispM