강호찬
가입: 2019년 9월 12일 올린 글: 24
|
올려짐: 2022년5월20일 21:50 주제: [HW7-4] Free variable type inference 질문 |
|
|
안녕하세요, 컴퓨터공학부 17학번 강호찬입니다.
주어진 식에 free variable이 있는 경우를 고려하나요?
(식 전체를 모두 살펴도 binding이 없는 free variable을 의미합니다)
만약 고려해야한다면 그런 경우는 type error로 처리해야 하나요?
감사합니다,
강호찬 드림. |
|