[양주현]

안녕하세요, 프로그래밍언어 수강생 양주현입니다.

1번에서 iter의 type은 iter : ('a * ('a -> 'a)) -> 'a -> 'a 가 맞나요?

그러면 혹시 이거는 iter : ('a * ('a -> 'a) -> ('a -> 'a) 랑 다른 건가요? 동작은 완전히 같은 것 같은데, 혹시 차이가 있나 해서 질문드립니다.

감사합니다.

[조승한]

안녕하세요, 조교입니다

iter의 타입은 iter : (int * ('a -> 'a)) -> 'a -> 'a 입니다
또한 (int * ('a -> 'a)) -> ('a -> 'a) 와 동일합니다.

감사합니다.

[이재호]

안녕하세요,

첨언하자면, ->는 right associative하다고 생각할 수 있습니다.
이는 함수 partial application의 편의를 위함입니다.

감사합니다.