[강호찬]

안녕하세요, 컴퓨터공학부 17학번 강호찬입니다.

주어진 식에 free variable이 있는 경우를 고려하나요?
(식 전체를 모두 살펴도 binding이 없는 free variable을 의미합니다)
만약 고려해야한다면 그런 경우는 type error로 처리해야 하나요?

감사합니다,
강호찬 드림.

[조승한]

안녕하세요, 조교입니다.

고려하지 않으셔도 됩니다.

감사합니다.
조승한 드림.