update: lesson_05~07.md

src/ch03/lesson_05.md

@@ -50,7 +50,7 @@
 
 ## 심볼로 값에 이름 붙일 수 있다.
 
- 심볼의 자기 자신을 표현하는 능력 역시 유용하지만, 더욱 일반적으로 사용되는 곳은 값의 이름을 붙일 때입니다. 이는 다른 프로그래밍 언어에서 변수와 함수 이름의 역활을 맡습니다. 리스프 심볼은 값의 이름이나, 함수의 이름을 지을때 사용됩니다.
+ 심볼의 자기 자신을 표현하는 능력 역시 유용하지만, 더욱 일반적으로 사용되는 곳은 값의 이름을 붙일 때입니다. 이는 다른 프로그래밍 언어에서 변수와 함수 이름의 역활을 맡습니다. 리스프 심볼은 값의 이름이나, 함수의 이름을 지을 때 사용됩니다.
 
  리스프에서 특이한 점 중 하나는 심볼은 함수랑 변수의 값을 동시에 지닐 수 있다 라는 점 입니다:
 
@@ -67,16 +67,16 @@ first
 
  첫번째와 마지막 경우에서의 `first`는 **변수** 이며 , 두번째인 경우는 리스프에 의해 미리 정의된 **함수** 라는 점을 주의깊게 보시길 바랍니다. 리스프는 심볼이 보이는 곳에 기반하여 이 값이 무엇인지 결정합니다. 평가 규칙에 따라 값을 요청받으면, 리스프는 심볼의 변수 값을 찾습니다. 함수를 요청받으면, 리스프는 심볼의 함수 값을 찾습니다.
 
- 심볼은 변수나 함수의 값 외에 다른 값을 가질 수 있습니다. 심볼은 문서, 프로퍼티 리스트(property list) 혹은 출력시 표시되는 값을 가질 수 있습니다. 심볼의 문서는 해당 심볼의 설명을 위한 텍스트입니다. `documentation` 폼을 사용하거나 심볼의 값을 정의하는 몇몇 폼에서 심볼에 대한 문서를 만들 수 있습니다. 심볼은 다양한 의미를 가질 수 있으므로 함수 및 변수와 같이 여러 가지 의미에 맞는 각각에 대한 문서를 만들 수 있습니다.
+ 심볼은 변수나 함수의 값 외에 다른 값을 가질 수 있습니다. 심볼은 문서, 프로퍼티 리스트(property list) 혹은 출력시 표시되는 값을 가질 수 있습니다. 심볼의 문서는 해당 심볼의 설명을 위한 텍스트입니다. `documentation` 폼을 사용하거나 심볼의 값을 정의하는 몇몇 폼에서 심볼에 대한 문서도 같이 만들 수 있습니다. 심볼은 다양한 의미를 가질 수 있으므로 함수 및 변수와 같이 여러 가지 의미에 맞는 각각에 대한 문서를 만들 수 있습니다.
 
  프로퍼티 리스트는 엔트리(entry)당 하나의 키를 지닌 자그마한 데이터 베이스와 같습니다. 레슨 10 [p 65]에서 이러한 심볼의 사용법을 살펴볼 것입니다.
 
- 출력 이름은 리스프에서 심볼을 출력하기 위해 사용하는 것입니다. 일반적으로 이 이름을 변경하지 않는게 좋습니다; 다른 이름으로 변경한다면, 다른 이름으로 출력된 결과를 리스프가 다시 읽어때 원래 심볼값과 다른 의미를 지녀 혼란을 야기할 것입니다.
+ 출력 이름은 리스프에서 심볼을 출력하기 위해 사용하는 것입니다. 일반적으로 이 이름을 변경하지 않는게 좋습니다; 다른 이름으로 변경한다면, 다른 이름으로 출력된 결과를 리스프가 다시 읽어들일때 원래 심볼값과 다른 의미로 받아들여 혼란을 야기할 것입니다.
 
 
 ## 값은 하나 이상의 이름을 가질 수 있다
 
- 값은 하나 이상의 이름을 가질 수 있습니다. 즉, 하나 이상의 심볼이 값을 공유할 수 있다는 것입니다. 다른 언어에서 이러한 방식으로 동작하는 것으로는 포인터가 있습니다. 리스프는 프로그래머에게 포인터를 노출하지 않지만, 공유되어 사용되는 오브젝트들이 있습니다. `eq` 테스트로 오브젝트가 서로 같은지 확인할 수 있습니다. 다음에 나오는 것을 살펴보시기 바랍니다:
+ 값은 하나 이상의 이름을 가질 수 있습니다. 즉, 하나 이상의 심볼이 동일한 값을 공유할 수 있다는 것입니다. 다른 언어에서 이러한 방식으로 동작하는 것으로는 포인터가 있습니다. 리스프는 프로그래머에게 포인터를 노출하진 않지만, 공유되어 사용되는 오브젝트들이 있습니다. `eq` 테스트로 오브젝트가 서로 같은지 확인할 수 있습니다. 다음에 나오는 것을 살펴보시기 바랍니다:
 
 ``` lisp
 (setq L1 (list 'a 'b 'c))
@@ -97,7 +97,7 @@ first
 
  여기서, 동일한 값을 `L1`과 `L2`라 이름지엇기에, `L1`과 `L2`는 `eq`합니다. 다시 말하자면 `(list 'a 'b 'c)` 폼에 의해 생성된 값은 `L1`과 `L2`라는 두개의 이름을 갖습니다. `(setq L2 L1)` 폼은  "L2의 값이 L1의 값이 되도록 해라" 라고 지시합니다. 값의 복사를 말 하는게 아니라, 값 그 자체를 지칭합니다. 따라서 `L1`과 `L2`는 동일한 값 (처음 `L1`에 할당된 리스트 `(A B C)`)을 공유합니다.
 
- 또한 `L3`도 리스트 `(A B C)`를 값으로 갖지만, 이는 `L1`과 `L2`가 공유하는 것과는 다른 새로운 리스트 입니다. 비록 `L3`의 값이 `L1`과 `L2`의 값과 동일한 것처럼 보이지만, 다른 `list` 폼에 의해 생성되었기에, 이는 다른 리스트입니다. 따라서, 서로 심볼 `A`, `B`, `C`로 구성된 리스트이지만, 다른 리스트이기에, `(eq L3 L1)`는 `NIL`이 됩니다.
+ 또한 `L3`도 리스트 `(A B C)`를 값으로 갖지만, 이는 `L1`과 `L2`가 공유하는 것과는 다른 새로운 리스트 입니다. 비록 `L3`의 값이 `L1`과 `L2`의 값과 동일한 것처럼 보이지만, 다른 `list` 폼에 의해 생성되었기에, 이는 다른 리스트입니다. 따라서, 서로 심볼 `A`, `B`, `C`로 구성된 리스트이지만, 다른 리스트이기에 `(eq L3 L1)`는 `NIL`이 됩니다.
 
 
 ## 짚고 넘어가기

src/ch03/lesson_06.md

@@ -7,7 +7,7 @@
 
  리스프는 종종, 변수의 값을 담기 위해 새로이 메모리를 할당하여 **바인딩을 만듭니다**. 바인딩은 변수의 렉시컬 스코프(lexical scope) 구현을 위한 매우 일반적인 매커니즘이지만, 바인딩의 라이프타임에 따라 다른 용도로도 사용됩니다. 8장[p 126]에서 라이프타임(lifetime)과 가시성(visibility)를 공부할때 이를 다시 논할 것입니다.
 
- 예, 리스프는 새로운 바인딩을 위해 저장공간을 할당합니다. 이것이 끔찍하게 비효율적인 것처럼 보일지라도, 리스프가 어디에 저장공간을 할당하는지에 대해서는 아직 알 수 가 없습니다. 예를들어, 리스프는 함수 인자를 실제 값으로 바인드하지만, 다른 프로그래밍 언어들처럼 스택에 저장공간을 할당합니다. 리스프는, 바인딩 폼의 실행을 마치면 종료되는, 라이프타임을 바인딩이 지녔는지를 판단치 못하면 바인딩을 힙(heap)에 생성합니다
+ 리스프는 새로운 바인딩을 위해 저장공간을 할당합니다. 이것이 끔찍하게 비효율적인 것처럼 보이지만, 아직 리스프가 어디에 저장공간을 할당하는지에 대해서는 알 수 가 없습니다. 예를들어, 리스프는 함수 인자를 값으로 바인드할때, 다른 프로그래밍 언어들처럼 스택(stack)에 저장공간을 할당합니다. 리스프는 바인딩의 라이프타임을 판단할 수 없으면 해당 바인딩을 힙(heap)에 생성합니다.
 
 
 ## 바인딩은 이름을 가진다
@@ -26,7 +26,9 @@
          ...)))
 ```
 
- 여기서, (...으로 표시된) 가장 안쪽의 `let`에 도착할 쯤에는, `a`는 3개의 서로 다른 바인딩을 가지게 됩니다. 단, 위 예제가 전형적인 리스프 코드라고 말하는 것은 결코 아닙니다.
+ 여기서, (...으로 표시된) 가장 안쪽의 `let`에 도착할 쯤에는, `a`는 3개의 서로 다른 바인딩을 가지게 됩니다.
+
+ 단, 위 예제가 전형적인 리스프 코드라고 말하는 것은 결코 아닙니다.
 
 
 ## 가장 가까운 바인딩
@@ -45,7 +47,7 @@
          ...)))
 ```
 
- 보시다시피, 가장 가까운 바인딩이란 상대적인 위치를 가집니다. 바인딩 폼이 어떻게 중첩되었는지 살펴보면 (위에서 보인것처럼 여러분의 코드를 들여쓰기하였다면 이를 하기에 쉬울 것입니다), 어떻게 프로그램이 바인딩에 액세스하는지 알 수 있습니다.
+ 보시다시피, 가장 가까운 바인딩이란 상대적인 위치를 가집니다. 바인딩 폼이 어떻게 중첩되었는지 살펴보면 (위에서 보인것처럼 여러분의 코드를 들여쓰기하였다면 이를 하기에 쉬울 것입니다), 어떻게 프로그램이 바인딩에 접근하는지 알 수 있습니다.
 
  한가지 더 여러분이 알아야 할것은, 내부 바인딩 폼이 동일한 심볼을 바인드하지 않는 한, 내부 바인딩 폼에서도 외부 바인딩이 여전히 유효하다는 점 입니다:
 
@@ -93,9 +95,10 @@
 ``` lisp
 (let ((z 1))
    ;; 여기서, Z의 가장 가까운 바인딩은 값 1을 지닙니다.
-   (setq z 9)
 
+   (setq z 9)
    ;; 이제 값 Z는 9입니다.
+
    (let ((z 2))
       ;; 여기서, Z의 가장 가까운 바인딩은 값 2을 지닙니다.
       ...)
@@ -105,9 +108,9 @@
    ...)
 ```
 
- 위의 `setq` 폼은, 바깥쪽 `let` 폼에서 정의된 `z`의 바인딩값을 바꿉니다. 이는 종종 좋지 않은 일을 야기합니다. 문제라고 생각되는 점은 `z`의 값을 확인하기 위해 살펴봐야만 하는 곳이 이제 두 곳으로 늘어났다는 것입니다 - 첫번째는 바인딩 폼, 그 다음은 `setq`로 할당한 코드. 들여쓰기를 활용하는 바인딩 폼과는 달리, 프로그램의 본체 부분에서 할당하는 폼을 위한 들여쓰기는 없습니다; 프로그램을 읽을때 이러한 부분을 찾아내는것이 어렵습니다.
+ 위의 `setq` 폼은, 바깥쪽 `let` 폼에서 정의된 `z`의 바인딩값을 바꿉니다. 이는 종종 좋지 않은 일을 불러옵니다. 문제라고 생각되는 점은 `z`의 값을 확인하기 위해 살펴봐야만 하는 곳이 이제 두 곳으로 늘어났다는 것입니다 - 첫번째는 바인딩 폼, 그 다음은 `setq`로 할당한 코드. 들여쓰기를 활용하는 바인딩 폼과는 달리, 프로그램의 본체 부분에서 할당하는 폼에는 따로 들여쓰기가 없습니다; 프로그램을 읽을때 이러한 부분을 찾아내는것이 어렵습니다.
 
- 저희는 이전 예제에서 봤던것과 같이 새로운 바인딩을 도입하여 매우 쉽게 할당하는 코드를 우회할 수 있습니다.
+ 이전 예제에서 봤던것과 같이 새로운 바인딩을 도입하여 매우 쉽게 할당하는 코드를 우회할 수 있습니다.
 
 ``` lisp
 (let ((z 1))
@@ -128,7 +131,7 @@
    ...)
 ```
 
- 이제 `let`폼의 들여쓰기로 인해 `z`의 모든 바인딩을 알아보기 쉬워졌습니다. 프로그램을 읽는 동안, 프로그램의 어느 지점에서(예제에서는 ...에서) Z의 올바른 바인딩을 찾기위해 여러분이 해야할 일은 들여쓰기를 주의하여 상위 레벨에 있는 `let` 폼을 찾아보는 것입니다.
+ 이제 `let`폼의 들여쓰기로 인해 `z`의 모든 바인딩을 알아보기 쉬워졌습니다. 프로그램의 어느 지점에서(예제에서는 ...에서) `z`의 올바른 바인딩을 찾기 위해 여러분이 해야할 일은 프로그램을 읽을 시 들여쓰기를 주의하여 상위 레벨에 있는 `let` 폼을 찾아보는 것입니다.
 
   `let` 폼으로 둘러싸여 있지 않는 곳에서 `setq` 폼이 어떠한 변수를 할당하고 있다면, 이는 전역 변수이거나 특수(special) 변수일 것입니다.
 

src/ch03/lesson_07.md

@@ -24,9 +24,9 @@
 2.  인자 이름 리스트: 이것이 호출되엇을시 함수의 인자가 될 `(the-number)`
 3.  함수의 본체: `(let ...)`
 
- 3개 모두 각각 그 그대로 나타내어야 하므로, `defun`은 인자를 평가하지 않습니다 (만일 평가를 수행한다면, 각 인자에 `quote`를 붙여야만 하는 불편함이 생길 것입니다).
+ 3개 모두 각각 그 그대로 나타내어야 하므로, `defun`은 인자를 평가하지 않습니다 (만일 평가가 수행되었다면, 각 인자에 `quote`를 붙여야만 하는 불편함이 생길 것입니다).
 
- `defun`은 정의된 함수 이름을 반환하고, 여러분이 제공한 이름, 인자 리스트, 본체를 이용하여 전역으로 정의를 선언합니다. `defun`을 이용하여 함수를 만들면, 바로 이를 사용할 수 있습니다:
+ `defun`은 정의된 함수 이름을 반환하고, 여러분이 제공한 이름, 인자 리스트, 본체를 이용하여 함수의 정의를 전역으로 선언합니다. `defun`을 이용하여 함수를 만들고 나면 바로 이를 사용할 수 있습니다:
 
 ``` lisp
 (secret-number 11)
@@ -39,7 +39,7 @@
 ;;=> THAT-IS-THE-SECRET-NUMBER
 ```
 
- 함수를 호출할때, 이것의 인자는(예. 두번쩨 예제에서 `99`) 정의에서 사용한 인자 이름(즉. `the-umber`)에 바인딩이 됩니다. 그런 다음, 함수의 본체 (즉. (LET ...))은 해당 인자의 바인딩 컨텍스트로 평가됩니다. 다른 말로 하자면, `(SECRET-NUMBER 99)`를 평가하는 것은 변수 `THE-NUMBER`로 `99`가 바인딩 된체 `SECRET-NUMBER` 함수 본체를 실행하도록 만들어 줍니다.
+ 함수를 호출할때, 이것의 인수는(예. 두번쩨 예제에서 `99`) 정의에서 사용한 인자 이름(즉. `the-umber`)에 바인딩이 됩니다. 그런 다음, 함수의 본체 (즉. (LET ...))은 해당 인자의 바인딩 컨텍스트로 평가됩니다. 다른 말로 하자면, `(SECRET-NUMBER 99)`를 평가하는 것은 `99`가 변수 `THE-NUMBER`로 바인딩 된체 `SECRET-NUMBER` 함수 본체를 실행하도록 만들어 줍니다.
 
  물론, 여러분은 하나 이상의 인자를 지닌 함수를 정의 할 수 있습니다.
 
@@ -54,12 +54,12 @@
 ;;=> 92
 ```
 
- 함수를 호출할때 인수들은, 순서에 맞게 인자 이름에 바인딩 됩니다. 리스프는 인자 이름의 리스트는 여러가지 변형들이 있습니다. 공식적으로 이러한 변형 리스트를 람다 리스트라 부릅니다 - 21장[p 198]에서 이것의 다른 기능들에 대해 살펴 볼 것입니다.
+ 함수를 호출할때 인수들은 순서에 맞게 인자 이름에 바인딩 됩니다. 리스프는 인자 이름의 리스트는 여러가지 변형들이 있습니다. 공식적으로 이러한 변형 리스트를 람다 리스트라 부릅니다 - 21장[p 198]에서 이것의 다른 기능들에 대해 살펴 볼 것입니다.
 
 
 ## LAMBDA - 이름 없는 함수 정의
 
- 때로는 프로그램에서 단 한곳에서만 쓰이는 함수가 필요할 것입니다. `defun`으로 함수를 만들어 이를 한번만 호출할 수 있습니다. 그리고 때때로, 나중에 프로그램을 읽을때 도움을 주는 잘 짜여진 이름을 함수에 부여할 수 있습니다. 그러나 종종 여러분이 필요한 함수는 아주 사소하거나 아주 명백하여 이름을 굳이 지을 필요가 없거나, 이전에 이름이 쓰였는지에 대해 걱정하지 않고 싶을 때가 있을 것입니다. 이와 같은 상황에서, 리스프에선 `lambda` 폼을 이용하여 이름 없는 함수를 만들 수 있습니다. `lambda` 폼은 마치 이름이 없는 `defun` 폼처럼 보입니다:
+ 때로는 프로그램에서 단 한곳에서만 쓰이는 함수가 필요할 것입니다. `defun`으로 함수를 만들어 이를 한번만 호출할 수 있습니다. 그리고 때때로 프로그램을 읽을 때를 도움이 되도록 함수에 잘 짜여진 이름을 부여할 수 도 있습니다. 그러나 종종 여러분이 필요한 함수는 아주 사소하거나 아주 명백하여 이름을 굳이 지을 필요가 없거나, 이전에 같은 이름이 쓰였는지에 대해 걱정하지 않고 싶을 때가 있을 것입니다. 이와 같은 상황에서, 리스프에선 `lambda` 폼을 이용하여 이름 없는 함수를 만들 수 있습니다. `lambda` 폼은 마치 이름이 없는 `defun` 폼처럼 보입니다:
 
 ``` lisp
 (lambda (a b c x)
@@ -68,7 +68,7 @@
       c))
 ```
 
- 여기서 `lambda` 폼을 평가할 수 없습니다; 이는 리스프가 함수 자리라고 예상되어 지는 곳에서만 보여야 합니다 - 보통 폼의 첫번째 요소로;
+ 여기서 `lambda` 폼을 평가할 수 없습니다; 이는 리스프가 함수 자리라고 예상되어 지는 곳에서만 보여야 합니다 - 보통 폼의 첫번째 요소;
 
 ``` lisp
 (lambda (a b c x)