[강동호]

조교님 안녕하세요. 수고 많으십니다.

추가로 과제중에 질문이 생겨서 글을 남깁니다.

iter(n,f)

스펙에 따라서 위와 같은 함수를 생각해보면 int * (int -> int) -> (int -> int) 형으로 선언이 되어야 할 것 같습니다.

궁금한 것이 하나 있는데요. 합성 함수를 생각해보면 f o g = f(g) 의 형태인데, ocaml에서 이런 연산을 정의하려면 f가 (int -> int) -> (int -> int) 로 정의가 되어 있어야 합니다.

실제로 주어지는 함수 f 는 (int -> int) -> (int -> int) 가 아닌 (int -> int) 형입니다.

이 것을 전환할 수 있는 문법이나, 아이디어가 있을 수 있을까요? 아니면 그 외의 새로운 접근법을 사용해야 할까요?

ps.

혹시 iter(n,f) 함수의 형이 int * (int -> int) -> int -> int 인건가요? 즉 n과 f와 정수 x 를 받아서 정수를 출력하는 함수인건가요?

사실 생각해보면 f o g 라는 함수는 수학적으로 (f o g)(x) 로 정의되기 때문에 정수 x를 인자로 받는 것이 합리적인 것 같다고 생각됩니다.

[최재승]

안녕하세요, 프로그래밍 언어 조교 최재승입니다.