update: ch03/

lispkorea · Jan 26, 2024 · 3296c49 · 3296c49
1 parent 4666f90
commit 3296c49
Show file tree

Hide file tree

Showing 5 changed files with 111 additions and 103 deletions.
diff --git a/src/ch03/lesson_07.md b/src/ch03/lesson_07.md
@@ -54,13 +54,12 @@
 ;;=> 92
 ```
 
-:TODO(pyoung)
- 함수를 호출할때 인수들은, 순서에 맞게 인자 이름에 바인딩 됩니다. 리스프는 인자 이름의 list에 대한 몇몇 선택적인 변형variations을 지닙니다. 공식적으로 이러한 리스트를 lambda 리스트라 부릅니다 - 21장[p 198]에서 이것의 다른 기능들에 대해 살펴 볼 것입니다.
+ 함수를 호출할때 인수들은, 순서에 맞게 인자 이름에 바인딩 됩니다. 리스프는 인자 이름의 리스트는 여러가지 변형들이 있습니다. 공식적으로 이러한 변형 리스트를 람다 리스트라 부릅니다 - 21장[p 198]에서 이것의 다른 기능들에 대해 살펴 볼 것입니다.
 
 
 ## LAMBDA - 이름 없는 함수 정의
 
- 때로는 프로그램에서 단 한곳에서만 쓰이는 함수가 필요할 것입니다. `defun`으로 함수를 만들어 이를 한번 호출할 수 있습니다. 때때로, 함수에 나중에 프로그램을 읽을때 도움을 주는 descriptive 이름을 줄 수 있으므로, 이는 할 수 있는 최선이 됩니다. 그러나 종종 여러분이 필요한 함수는 아주 사소하거나 아주 명백하여, 이름을 짓고싶지 않거나 이전에 이름이 쓰였는제 대해 걱정하지 않고자 할 것입니다. 이와 같은 상황에서, 리스프는 `lambda` 폼을 이용하여 이름이 붙여지지 않는 함수를 만들 수 있게 합니다. `lambda` 폼은 마치 이름이 없는 `defun` 폼처럼 보입니다:
+ 때로는 프로그램에서 단 한곳에서만 쓰이는 함수가 필요할 것입니다. `defun`으로 함수를 만들어 이를 한번만 호출할 수 있습니다. 그리고 때때로, 나중에 프로그램을 읽을때 도움을 주는 잘 짜여진 이름을 함수에 부여할 수 있습니다. 그러나 종종 여러분이 필요한 함수는 아주 사소하거나 아주 명백하여 이름을 굳이 지을 필요가 없거나, 이전에 이름이 쓰였는지에 대해 걱정하지 않고 싶을 때가 있을 것입니다. 이와 같은 상황에서, 리스프에선 `lambda` 폼을 이용하여 이름 없는 함수를 만들 수 있습니다. `lambda` 폼은 마치 이름이 없는 `defun` 폼처럼 보입니다:
 
 ``` lisp
 (lambda (a b c x)
@@ -69,7 +68,7 @@
       c))
 ```
 
- `lambda` 폼을 평가할 수 없습니다; 이는 리스프가 함수를 찾을 수 있다고 예상하는 곳에서 보여야 합니다 - 보통 form의 첫번째 오소로;
+ 여기서 `lambda` 폼을 평가할 수 없습니다; 이는 리스프가 함수 자리라고 예상되어 지는 곳에서만 보여야 합니다 - 보통 폼의 첫번째 요소로;
 
 ``` lisp
 (lambda (a b c x)

diff --git a/src/ch03/lesson_08.md b/src/ch03/lesson_08.md
@@ -15,7 +15,8 @@
 
 ## 매크로는 값이 아닌 폼을 반환한다
 
- 매크로 본체는 평가될 폼을 반환합니다. 다른말로 하자면, 값이 아닌 폼을 반환하는 매크로의 본체를 작성해야 합니다. 리스프가 매크로의 호출을 평가할때, 이는 우선 매크로 본체 정의를 평가하고, 첫번째 평가의 결과를 평가합니다 (비교하여, 함수의 본체는 값을 반환하도록 평가됩니다) 여기 여러분이 가장 알고자 하는 것을 설명해주는 간단한 매크로 쌍이 있습니다:
+:TODO(pyoung)
+ 매크로 본체는 평가될 폼을 반환합니다. 다른말로 하자면, 매크로의 본체로 값이 아닌 폼을 반환하도록 작성해야 합니다. 리스프가 매크로의 호출을 평가할때, 이는 우선 매크로 본체 정의를 평가하고, 첫번째 평가의 결과를 평가합니다 (비교하여, 함수의 본체는 값을 반환하도록 평가됩니다) 여기 여러분이 가장 알고자 하는 것을 설명해주는 간단한 매크로 쌍이 있습니다:
 
 ``` lisp
 (defmacro setq-literal (place literal)
@@ -36,31 +37,31 @@ a
 ;;=> (B)
 ```
 
- SETQ-LITERAL는 인자가 평가되지 않는다는 점을 제외하면 마치 `setq`처럼 동작합니다(SETQ가 이의 두번째 인자를 평가한다는 것을 명심하시기 바랍니다). SETQ-LITERAL의 본체는 ("역따옴표"라 말하는) `로 시작하는 폼을 지녔습니다. 역따옴표는 역따옴표된 폼에서 쉼표가 보인다는 점을 제외하면 (폼으로 둘러싸인 모든 것의 평가를 숨기는)따옴표처럼 행동합니다.
+ `setq-literal`는 인수가 평가되지 않는다는 점을 제외하면 마치 `setq`처럼 동작합니다(SETQ는 이의 두번째 인수를 평가한다는 것을 명심하시기 바랍니다). `SETQ-LITERAL`의 본체는 ("역따옴표"라 말하는) `로 시작하는 폼을 지녔습니다. 역따옴표는 역따옴표된 폼에서 쉼표가 보인다는 점을 제외하면 (폼으로 둘러싸인 모든 것의 평가를 숨기는)따옴표처럼 행동합니다.
 
  따라서 위의 `(SETQ-LITERAL A B)`를 호출함에 있어, 무슨 일이 벌어지는지가 여기 나와 있습니다:
 
-1. PLACE를 symbol A에 bind한다.
-2. LITERAL를 symbol B에 bind한다.
+1. PLACE를 심볼 A에 bind한다.
+2. LITERAL를 심볼 B에 bind한다.
 3. 다음 단계를 거처 `(SETQ ,PLACE ',LITERAL) 본체를 평가한다:
-    1. symbol A얻기 위해 PLACE를 평가한다.
-    2. symbol B얻기 위해 LITERAL를 평가한다.
-    3. form (SETQ A 'B)를 반환한다.
-4. form (SETQ A 'B)를 평가한다.
+    1. 심볼 A얻기 위해 PLACE를 평가한다.
+    2. 심볼 B얻기 위해 LITERAL를 평가한다.
+    3. 폼 (SETQ A 'B)를 반환한다.
+4. 폼 (SETQ A 'B)를 평가한다.
 
- 반환된 폼에서 역따옴표나 쉼표는 보이지 않습니다. SETQ-LITERAL 호출에서 A나 B가 평가되지 않지만 서로 다른 이유 때문입니다. A는 SETQ의 첫번째 인자처럼 보이기에 평가되지 않습니다. B는 macro에 의해 반환된 form앞에 따옴표가 보이기에 평가되지 않습니다
+ 반환된 폼에서 역따옴표나 쉼표는 보이지 않습니다. `SETQ-LITERAL` 호출에서 `A`나 `B`가 평가되지 않지만 서로 다른 이유 때문입니다. `A`는 `SETQ`의 첫번째 인자처럼 보이기에 평가되지 않습니다. `B`는 매크로에 의해 반환된 폼앞에 따옴표가 보이기에 평가되지 않습니다
 
 `(REVERSE-CONS NIL A)`의 동작은 유사합니다:
 
-1. bind REST를 symbol NIL에 bind한다.
-2. bind FIRST를 symbol A에 bind한다.
+1. bind REST를 심볼 NIL에 bind한다.
+2. bind FIRST를 심볼 A에 bind한다.
 3. 다음 단계를 거처, `(CONS ,FIRST ,REST) 본체를 평가한다:
-    1. symbol A를 얻기 위해 FIRST를 평가한다.
-    2. symbol NIL를 얻기 위해 REST를 평가한다.
-    3. form (CONS A NIL)를 반환한다.
-4. form (CONS A NIL)을 평가한다.
+    1. 심볼 A를 얻기 위해 FIRST를 평가한다.
+    2. 심볼 NIL를 얻기 위해 REST를 평가한다.
+    3. 폼 (CONS A NIL)를 반환한다.
+4. 폼 (CONS A NIL)을 평가한다.
 
- CONS가 이의 인자를 평가하며, 매크로 본체는 두 인자에 따옴표를 붙이지 않았기에, `reverse-cons`의 두 인자는 평가됩니다. A는 symbol B로 평가되며, NIL은 자기자신으로 평가됩니다.
+ CONS가 이의 인자를 평가하며, 매크로 본체는 두 인자에 따옴표를 붙이지 않았기에, `reverse-cons`의 두 인자는 평가됩니다. `A`는 심볼 `B`로 평가되며, `NIL`은 자기자신으로 평가됩니다.
 
  여러분이 평가되기전에 매크로 본체가 어떻게 보여지는지 확인하고자 한다면, `macroexpand` 함수를 이용할 수 있습니다:
 

diff --git a/src/ch03/lesson_09.md b/src/ch03/lesson_09.md
@@ -24,18 +24,17 @@
 ;;=> :THAT
 ```
 
- 폼의 평가에 의해 생성된 여러 라인이으로, 얼마나 많은 값이 반환되었는지 보았습니다. 위의 예제에서 3개의 `values` 폼에서 각각 0개, 1개, 2개의 값을 생성하였습니다.
+ 폼의 평가에 의해 생성된 여러 라인이으로 얼마나 많은 값이 반환되었는지 보았습니다. 위의 예제에서 3개의 `values` 폼에서 각각 0개, 1개, 2개의 값을 생성하였습니다.
 
  `values`는 함수이며, 따라서 인자를 평가합니다.
 
 
 ## 몇몇 특수한 폼은 여러개의 값을 받을 수 있다.
 
-:TODO(pyoung)
-하나의 프로그램에서 다수의 값으로 무얼 하길 원하십니까? 가장 기본적인 동작은 :
+ 여러개의 값들을 다룰려면 무엇을 해야할까요? 가장 기본적인 동작으로는 :
 
-1.  각 값들을 개별 심볼로 바인드한다, 혹은
-2.  값들을 리스트로 모은다.
+1. 각 값들을 개별 심볼로 바인드한다
+2. 혹은 값들을 리스트로 모은다.
 
  각 값들을 개별 심볼로 바인드하기 위해 `multiple-value-bind`를 이용합니다:
 
@@ -91,9 +90,9 @@
 ;;=> 8
 ```
 
- 함수와 `lambda` 본체의 경우엔, "암묵적인 PROGN"라는 것으로 부터 다수의 값이 반환되었습니다. 이는, 본체가 다수의 폼을 포함할 수 있으며, 오직 마지막 form의 값이 반환될거라고, 멋지게 말하는 방법입니다.
+ 함수와 `lambda` 본체의 경우엔, "암시적 `PROGN`"라 불리는 무언것으로부터 다수의 값이 반환되었습니다. 이는, 본체가 다수의 폼을 포함할 수 있으며, 최종적으로 마지막 폼의 값이 반환됩니다.
 
- 여러분은 이러한 행동을 원할때 `progn` 스페실 폼을 이용할 수 있습니다. `(PROGN form1 form2 ... formN)` 은 순서대로 `form1`부터 `formN`까지 평가하고, 최종적으로 `formN`의 값을 반환합니다.
+ 위와같은 행동을 원할때 `progn` 스페실 폼을 이용할 수 있습니다. `(PROGN form1 form2 ... formN)` 은 순서대로 `form1`부터 `formN`까지 평가하고, 최종적으로 `formN`의 값을 반환합니다.
 
 
 ## 짚고 넘어가기