[정원국]

exercise1을 풀면서 생긴 궁금증입니다...



제가 짠 mem함수를 예로들면,

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

let rec mem i l =
match l with
| Nil -> false
| Cons (a,l') -> if a==i then true else mem i l';;

위와같이 코드를 짰는데요


mem 0 Cons(1, Cons(2, Nil));; <- 이런식으로 실행하면

Error: This function is applied to too many arguments,
maybe you forgot a `;'

이런 에러메세지가 뜨고


mem 0 (Cons(1, Cons(2, Nil)));; <- 또는

let test = Cons(1, Cons(2, Nil));;
mem 0 test;;

위와 같은 실행은 오류없이 잘 작동하더라고요.


지금 제 현상이 정상인지, 또 왜그렇게 되는건지 궁금합니다.
아마 Cons 함수 자체에 뭔가 있는거 같은데 잘 모르겠네요...

[이원찬]

이건 Cons의 문제가 아니라 OCaml 문법 문제입니다.

mem 0 Cons(1, Cons(2, Nil))

은 붙여서 써놓으셨지만 실은

mem 0 Cons (1, Cons (2, Nil))

와 같은 표현입니다.
즉, mem 함수에 세 인자, 0, Cons, (1, Cons (2, Nil))을 넘기고 있는 것이죠.
따라서, 두 번째 인자가 Cons가 아니라 Cons로 만들어지는 전체가 되는 것을
괄호로 구분해주셔야 합니다.

[김수린]

그럼 ()로 묶어줘야되는게 정상인건가요?

[정원국]

답변감사합니다