[한명지]

sumprod의 입력으로 들어가는 matrix function에 대해
반드시 int*int->real 형태의 함수만 들어간다고 가정하고 프로그램하면 되나요?입력으로 함수를 바로 만들어 넣어주다가 계속 형식이 맞지 않다고 나와서
따로 함수를 짜 봤더니 int*int->real 형태의 함수는
float_of_int(x)+float_of_int(y) 와 같이 float_of_int를 이용해서 만든 함수외엔 없더라구요 (적어도 제가 해본 바로는...)
x+y+1.0 식으로 만들면 type inference에 의해 real*real->real 의 형태로 읽어서 sumprod의 입력 타입에 맞지 않게 되네요

[한명지]

최상위에는 하나의 함수만 보이게 하라고 했는데 4번 같은 경우엔 어떻게 하나요?

[최원태]

1.
int * int -> real 인 함수만 들어간다고 가정하시면 됩니다.

2.
4번이 아니라 5번에 대한 질문인가보군요.
최상위에 "하나"라는 표현을 최상위에는 "스펙에 명시된 함수" 로 고쳐야겠습니다.
좋은 지적 감사합니다.