게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

챌린지 6번 질문입니다.

 
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
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 인용과 함께 답변

그렇군요. 확인하였습니다.
감사합니다, 교수님.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
글 쓰기   답변 달기     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2014) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay