레슨 07. 필수 - 함수 정의(Essential Function Definition)
DEFUN - 이름을 가진 함수 정의
defun 폼을 이용하여 이름을 가진 함수를 정의할 수 있습니다:
(defun secret-number (the-number)
(let ((the-secret 37))
(cond ((= the-number the-secret) 'that-is-the-secret-number)
((< the-number the-secret) 'too-low)
((> the-number the-secret) 'too-high))))
;;=> SECRET-NUMBER
레슨 3에서 let, cond, '(quote의 별칭)를 다루었습니다. 숫자 비교 함수들은 그 의미가 명확합니다.
defun 폼은 3개의 인자를 가집니다:
- 함수의 이름:
secret-number - 인자 이름 리스트: 이것이 호출되엇을시 함수의 인자가 될
(the-number) - 함수의 본체:
(let ...)
3개 모두 각각 그 그대로 나타내어야 하므로, defun은 인자를 평가하지 않습니다 (만일 평가가 수행되었다면, 각 인자에 quote를 붙여야만 하는 불편함이 생길 것입니다).
defun은 정의된 함수 이름을 반환하고, 여러분이 제공한 이름, 인자 리스트, 본체를 이용하여 함수의 정의를 전역으로 선언합니다. defun을 이용하여 함수를 만들고 나면 바로 이를 사용할 수 있습니다:
(secret-number 11)
;;=> TOO-LOW
(secret-number 99)
;;=> TOO-HIGH
(secret-number 37)
;;=> THAT-IS-THE-SECRET-NUMBER
함수를 호출할때, 이것의 인수는(예. 두번쩨 예제에서 99) 정의에서 사용한 인자 이름(즉. the-umber)에 바인딩이 됩니다. 그런 다음, 함수의 본체 (즉. (LET ...))은 해당 인자의 바인딩 컨텍스트로 평가됩니다. 다른 말로 하자면, (SECRET-NUMBER 99)를 평가하는 것은 99가 변수 THE-NUMBER로 바인딩 된체 SECRET-NUMBER 함수 본체를 실행하도록 만들어 줍니다.
물론, 여러분은 하나 이상의 인자를 지닌 함수를 정의 할 수 있습니다.
(defun my-calculation (a b c x)
(+ (* a (* x x))
(* b x)
c))
;;=> MY-CALCULATION
(my-calculation 3 2 7 5)
;;=> 92
함수를 호출할때 인수들은 순서에 맞게 인자 이름에 바인딩 됩니다. 리스프는 인자 이름의 리스트는 여러가지 변형들이 있습니다. 공식적으로 이러한 변형 리스트를 람다 리스트라 부릅니다 - 21장[p 198]에서 이것의 다른 기능들에 대해 살펴 볼 것입니다.
LAMBDA - 이름 없는 함수 정의
때로는 프로그램에서 단 한곳에서만 쓰이는 함수가 필요할 것입니다. defun으로 함수를 만들어 이를 한번만 호출할 수 있습니다. 그리고 때때로 프로그램을 읽을 때를 도움이 되도록 함수에 잘 짜여진 이름을 부여할 수 도 있습니다. 그러나 종종 여러분이 필요한 함수는 아주 사소하거나 아주 명백하여 이름을 굳이 지을 필요가 없거나, 이전에 같은 이름이 쓰였는지에 대해 걱정하지 않고 싶을 때가 있을 것입니다. 이와 같은 상황에서, 리스프에선 lambda 폼을 이용하여 이름 없는 함수를 만들 수 있습니다. lambda 폼은 마치 이름이 없는 defun 폼처럼 보입니다:
(lambda (a b c x)
(+ (* a (* x x))
(* b x)
c))
여기서 lambda 폼을 평가할 수 없습니다; 이는 리스프가 함수 자리라고 예상되어 지는 곳에서만 보여야 합니다 - 보통 폼의 첫번째 요소;
(lambda (a b c x)
(+ (* a (* x x))
(* b x)
c))
;;>| Error
((lambda (a b c x)
(+ (* a (* x x))
(* b x)
c))
3 2 7 5)
;;=> 92
짚고 넘어가기
defunlambda