[김찬민]

문서에는 binary operator =와 write로 가능한 타입이 or로 묶여 있습니다.
(i, b, s, or l) / (i, b, s)

그러면 다음과 같은 프로그램은 타입 체커에서 타입 오류로 거부되어야 합니까? 아니면 런타임 에러로 처리가 되어도 충분합니까?

[강동옥]

예제로 드신 프로그램처럼 function 타입 값이 equal 연산의 피연산자로 들어오는 경우는 타입 오류로 걸러낼 수 있어야 합니다.

그리고,integer/bool/string/loc이 피연산자로 오는 경우에 대해서는 정상적으로 (단순 및 다형) 타입 체커를 통과할 수 있어야 합니다.

교과서 및 수업 시간의 내용을 다소 확장해야 하는 부분이 있을 수도 있지만, 이러한 것들도 숙제에서 요구하는 내용에 해당합니다.

[김찬민]

감사합니다.