이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
하재승 손님
|
올려짐: 2007년12월5일 15:05 주제: write가 섞인 다음 프로그램도 타입체크를 통과해야할까요? |
|
|
let
val w = fn x => write x
in
w 1; w "x" |
|
위로 |
|
|
김홍준
가입: 2007년 9월 16일 올린 글: 16
|
올려짐: 2007년12월5일 20:31 주제: |
|
|
제 타입체커는 잘 통과하는데 문제가 있는 건가요? |
|
위로 |
|
|
이우석. 손님
|
올려짐: 2007년12월5일 22:51 주제: 제것도 잘돌아가는데.. |
|
|
string type 나오는데요;
안돌아가야할 이유가 있나요?; |
|
위로 |
|
|
정영범
가입: 2005년 9월 5일 올린 글: 167
|
올려짐: 2007년12월6일 10:26 주제: |
|
|
받아 들일 수 있습니다.
작년 모범 답안에 함수 expansive(write)가 true로 정의 되어 있는 버그가 있었습니다.
확인 없이 답변 드려서 혼란 스럽게 해드렸습니다.
죄송합니다. |
|
위로 |
|
|
김도겸
가입: 2007년 10월 20일 올린 글: 7
|
올려짐: 2007년12월6일 11:59 주제: 받아들일 수 없는 것 아닌가요 ? |
|
|
받아들일 수 없는 것 아닌가요 ?
저는 write 에 사용된 변수는 int, bool, string 은 될 수 있지만
pair, arrow 등은 될 수 없으므로 generalize 하지 말아야 한다고 생각했는데요.
그렇다면 아래와 같은 코드는 어떻게 처리해야 하나요 ?
코드: |
let
val w = fn x => write x
in
w 1; w "x"; w(1,1)
|
위 코드는 write에 사용된 변수가 generalize 되면
type system 을 통과할 것 같은데요.
나중에 w(1,1) 처럼 사용된 경우가 있는지 따로 검사를 해줘야 하나요 ? |
|
위로 |
|
|
정영범
가입: 2005년 9월 5일 올린 글: 167
|
올려짐: 2007년12월6일 13:31 주제: |
|
|
예, 위와 같은 경우는 통과하면 안되지요.
generalize를 하더라도 int,bool,string에 대해서만 들어오는지
체크하는 과정이 필요하겠죠?
하지만 write에 대해서는 강의 교재에서 정확히 명시하고 있지 않기 때문에
조교가 채점하는 부분에서는 제외할 것입니다.
다시 말씀드려서 write 관련되어서 감점은 전혀 없을테니, 걱정하지 않으셔도 됩니다.
P.S. 혹시 int, bool, string에 대해서만 올바르게 작동하도록 구현하신 분이 있으면 추가 점수를 드릴테니 메일 주세요. |
|
위로 |
|
|
하재승 손님
|
올려짐: 2007년12월6일 16:50 주제: |
|
|
앗 저 이거 처리안되어서 처리하려고 딜레이했는데
그럼 그냥 깍이는건가요 ......... ㅠㅠ
답변이 오늘되어서; |
|
위로 |
|
|
|