이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
javelinsman
가입: 2014년 9월 3일 올린 글: 7
|
올려짐: 2014년12월15일 13:07 주제: 챌린지 6번 질문입니다. |
|
|
아이디가 실명이 아닌 점 죄송합니다.
2013-11434 최길웅입니다.
더 좋은 let 다형 타입 구상을 묻는 챌린지 6번 문제의 채점은 정확히 어떻게 이루어지는 건가요?
soundness에 대한 증명을 하지 않아도 되고, 이전의 타입 체킹 시스템에서는 잘돌아가지만 오류로 판명되는 프로그램이 개선된 타입 체킹 시스템을 통과하는 예시를 하나라도 보이면 되는 건가요?
이 문제를 접했을 때 바로 생각해야 할 만한 부분을 건드려 보았고, 그것에 걸맞는 예시도 하나 만들어 내었는데 이것으로 챌린지 문제가 끝난 게 맞는지 의심됩니다. 2단 계 상승 문제인데 코드에서 고친 부분 한 줄에 예제도 한 줄이라서...
챌린지 6번의 문제 요구 사항 및 채점 기준을 좀 더 자세히 알려주신다면 감사드리겠습니다. |
|
위로 |
|
|
이광근
가입: 2005년 8월 29일 올린 글: 68
|
올려짐: 2014년12월16일 10:49 주제: |
|
|
원칙: 새 방법이 실제로 유용하고 믿을만한 확장인지 확인하기.
점수를 따려고 문제를 풀기보다는,
유용한 확장을 고민해보는 재미를 겪어보라고 챌린지를 냈습니다.
그래서 같이 공명해준 학생이 있다면 내가 보너스로 학점을 상승시키는 겁니다.
안전함의 증명을 않해도 된다는 뜻은, 증명없이도 내가 보고 판단할 수 있기 때문입니다.
Enjoy,
-K |
|
위로 |
|
|
javelinsman
가입: 2014년 9월 3일 올린 글: 7
|
올려짐: 2014년12월16일 12:48 주제: Re |
|
|
그렇군요. 확인하였습니다.
감사합니다, 교수님. |
|
위로 |
|
|
|