[허기홍]

함수의 인자를 선언하고 사용할때

예를 들면

fun a (b, c) ............

이렇습니다.

그때 (b, c)는 튜플입니까?

지난번 시그마 숙제할때

sigma (a, b, f) 로 선언할 때와 sigma a b f 로 선언할 때 결과 값은 같았지만

함수의 타입이 다른 것을 보고 궁금해서 질문 합니다.

[오학주]

fun f1 a b = a+b
fun f2 (a,b) = a+b
에서 f1,f2는 같은 일을 하지만
f1은 인자를 두 개 받는 함수로, f2는 인자 하나(튜플을 패턴으로 표현) 받는것으로 생각할 수 있습니다.

참고로, f1의 타입은 int -> (int -> int) 로 정수를 받아서 함수를 리턴하는 함수입니다.
예를들어 f1 1 은 정수 b를 받아서 1+b를 리턴하는 함수가 됩니다.
반면 f2의 타입은 (int*int) -> int로 리턴타입이 정수값입니다.