게시판 인덱스

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

write가 섞인 다음 프로그램도 타입체크를 통과해야할까요?

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2007)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
하재승
손님





올리기올려짐: 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로 정의 되어 있는 버그가 있었습니다.
확인 없이 답변 드려서 혼란 스럽게 해드렸습니다.
죄송합니다. Embarassed
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
김도겸



가입: 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) 처럼 사용된 경우가 있는지 따로 검사를 해줘야 하나요 ?
위로
사용자 정보 보기 비밀 메시지 보내기 MSN 메신저
정영범



가입: 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    주제: 인용과 함께 답변

앗 저 이거 처리안되어서 처리하려고 딜레이했는데

그럼 그냥 깍이는건가요 ......... ㅠㅠ

답변이 오늘되어서;
위로
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2007) 시간대: GMT + 9 시간(한국)
페이지 11

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


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