MAPCAR와 그 친구들(MAPC, MAPCAN)

MAPCAR는 리스트의 값에 동일한 작업을 처리하는데 유용하다.
MAPCAR의 인자는 적용할 함수^[각주:1]와 한 개 이상의 리스트를 인자로 가진다.
인자 함수는 리스트의 개수만큼 인자를 받을 수 있어야 한다.
MAPCAR는 인자 함수의 결과를 리스트로 묶어서 반환한다.

리스트의 모든 값에 10을 더해보다. (인자 함수가 한개의 인자를 가지는 것을 주목한다.)

(mapcar #'(lambda (x) (+ x 10)) (list 1 2 3))
; => (11 12 13)

두개의 리스트의 값을 더해보다. (인자 함수가 두개의 인자를 가지는 것을 주목한다.)

(mapcar #'(lambda (x y) (+ x y)) (list 1 2 3) (list 4 5 6))
; => (5 7 9)

MAPC, MAPCAN는 반환값(return value)이 다른 것을 제외하고는 MAPCAR와 동일하다.
MAPC는 단순히 첫번째 리스트를 반환한다.
MAPCAN은 인자 함수의 결과를 연결하여 반환한다.
(MAPCAR와 MAPC, MAPCAN의 차이점은 아래 단락에서 자세히 설명)

인자 함수 결과에 MAPCAR은 LIST 함수를 MAPCAN은 APPEND 함수를 적용한다고 이해하면 된다.^[각주:2]
예를 들어, 인자 함수의 결과가 각각 (a b c), (d e f), (g h i)라면,
MAPCAR은 (list '(a b c) '(d e f) '(g h i)) = ((a b c) (d e f) (g h i))를
MAPCAN의 (append '(a b c) '(d e f) '(g h i)) = (a b c d e f g h i)를 돌려준다.

각각의 차이점을 예를 들어 설명하겠다.

MAPCAR는 람다 함수의 결과 (5), (6), (7)을 리스트로 묶어서 ((5) (7) (9))을 반환한다.

(mapcar #'(lambda (x y) (list (+ x y))) (list 1 2 3) (list 4 5 6))
; => ((5) (7) (9))

MAPCAN는 람다 함수의 결과 (5), (6), (7)을 서로 연결하여 리스트 (5 7 9)을 돌려준다.

(mapcan #'(lambda (x y) (list (+ x y))) (list 1 2 3) (list 4 5 6))
; => (5 7 9)

MAPC는 단순히 첫번째 인자 리스트 (1 2 3)을 반환한다.

(mapc #'(lambda (x y) (list (+ x y))) (list 1 2 3) (list 4 5 6))
; => (1 2 3)

MAPC는 반환값에 관심이 없고 인자 함수의 부작용(side effects)이 중요한 경우에 사용한다.
예를 들어, 아래과 같이 결과를 화면에 출력하고 싶은 경우에 적절한다.

 (mapc #'(lambda (x y) (print (+ x y))) (list 1 2 3) (list 4 5 6))
; >> 5 
; >> 7 
; >> 9 
; => (1 2 3)

1. 이렇게 함수를 인자로 받는 것을 고차 함수(Higher-Order Functions)라고 부른다. 이 고차 함수는 리스프의 유용한 특징이다. [본문으로]
2. 리스프 구현체가 이런 방식으로 구현되었다는 것은 아니다. [본문으로]