[성창훈]

fold_left는 리스트의 모든 원소를 왼쪽에서 오른쪽으로 방문하며 함수를 적용한 결과를 모아서 돌려주는 함수라고 했는데 예시가 이해가 안되서 질문 드립니다

fold_left: (int -> int -> int) -> int -> mylist -> mylist
map (fun x y -> x+y) 0 Cons(1, Cons(2, Cons(3, Nil))) = 6

이렇게 되있는데 저 map은 단순 fold_left의 오타인가요?
오타면 결과가 6으로 나오는게 맞나요?

[이원찬]

오타입니다.
제대로 다시 쓰면 다음과 같이 됩니다:

fold_left: (int -> int -> int) -> int -> mylist -> int
fold_left (fun x y -> x+y) 0 Cons(1, Cons(2, Cons(3, Nil))) = 6

결과가 6으로 나오는 것은 맞습니다.

[성창훈]

fold_left: (int -> int -> int) -> int -> mylist -> mylist

아 여기서 마지막이 mylist가 아니라 int였군요 ㅎ
감사합니다~