[duck702]

# type mylist = Nil | Cons of (int * mylist);;
type mylist = Nil | Cons of (int * mylist)

# let rec fold_left f init lst = match lst with Nil -> init | Cons(head, tail) -> fold_left f (f init head) tail;;
val fold_left : ('a -> int -> 'a) -> 'a -> mylist -> 'a = <fun>

# let _ = print_int (fold_left (fun x y -> x + y) 0 Cons(1, Cons(2, Cons(3, Nil))));;
Characters 41-42:
let _ = print_int (fold_left (fun x y -> x + y) 0 Cons(1, Cons(2, Cons(3, Nil))));;
^
Error: This expression has type 'a -> 'b but is here used with type int
# let _ = print_int (fold_left (fun x y -> x + y) 0 (Cons(1, Cons(2, Cons(3, Nil)))));;
6- : unit = ()

Exercise 1.3을 이렇게 짜려고 했는데 형식이 'a 꼴로지정되어버리고 실행도 Cons앞에 괄호를 붙였을때면 올바르게 나옵니다. 왜 그렇고 어떻게 해야하나요

[이원찬]

1. 작성하신 fold_left가 'a를 가진 타입을 갖는 것은 당연합니다.
왜냐하면 fold_left 함수 내에서 넘겨받은 함수 f의 첫 번째 인자에 대해
어떠한 가정도 하지 않기 떄문입니다.
OCaml tutorial 시간에 제가 다형 타입에 대해서 잠깐 언급했었는데
작성하신 fold_left가 바로 다형 타입을 갖는 함수가 된 것입니다.
이 다형 타입이 문제에서 요구한 fold_left의 타입을 표현할 수 있으므로
그대로 내셔도 됩니다.
혹, 타입을 맞춰주고 싶으시면 다음과 같이 작성하시면 됩니다:

let rec fold_left : (int -> int -> int) -> int -> mylist -> int = ...

2. 값을 생성하는 표현식을 항상 괄호로 싸주시기 바랍니다.
이는 OCaml의 문법 검사 규칙이 깐깐해서 그렇습니다.