이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김찬민
가입: 2010년 9월 6일 올린 글: 81
|
올려짐: 2014년12월2일 14:15 주제: 숙제 7: 입력으로는 program만 들어오나요? |
|
|
입력으로는 program만 들어오나요?
아니면 프로그램이 아닌 expression도 들어올 수 있나요?
이러한 expression들에 대해서는 type error를 내주면 될까요? |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년12월2일 18:18 주제: |
|
|
네, 타입 체커는 프로그램에 해당하는 expression에 대해서만 정상적으로 작동하면 됩니다. |
|
위로 |
|
|
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2014년12월3일 14:04 주제: |
|
|
답변을 정정하겠습니다.
기존의 M 스펙은 인터프리터 작성의 편의를 위한 스펙이었습니다.
fn x => x+1 같은 경우는 int -> int로 타입이 체크될수 있는 경우입니다.
함수에 대해서도 타입 체킹을 해주세요. |
|
위로 |
|
|
|