게시판 인덱스

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

\x.x의 타입

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



가입: 2009년 9월 15일
올린 글: 83

올리기올려짐: 2010년11월13일 18:47    주제: \x.x의 타입 인용과 함께 답변

(\x.x)

라는 프로그램이 있을 때, 이 것의 타입은 여러가지가 가능한데요,

이 경우 simple type system에서는

type error를 발생시켜야 하나요?


신기정 가 2010년11월13일 19:04에 수정함, 총 1 번 수정됨
위로
사용자 정보 보기 비밀 메시지 보내기
신기정



가입: 2009년 9월 15일
올린 글: 83

올리기올려짐: 2010년11월13일 19:04    주제: 더불어 인용과 함께 답변

더불어 (/x.x) 3 과 같이

위의 식이 포함되어 있더라도 타입체킹이 가능한 경우는

에러를 발생시킬 필요가 없는것이 맞나요?
위로
사용자 정보 보기 비밀 메시지 보내기
최현돈



가입: 2009년 10월 7일
올린 글: 7

올리기올려짐: 2010년11월13일 20:39    주제: . 인용과 함께 답변

비슷한 질문인데요,

(\x. x = x)

라거나

(\x. write x)

같은 프로그램 역시 타입 에러를 발생시켜야 하나요?
위로
사용자 정보 보기 비밀 메시지 보내기
신기정



가입: 2009년 9월 15일
올린 글: 83

올리기올려짐: 2010년11월13일 21:26    주제: 추가 질문입니다. 인용과 함께 답변

추가 질문입니다.

1. 타입 에러 발생 시의 출력 message 내용에는 제한이 없나요?

2. Free Variable이 있는 경우는

타입 에러가 아닌 Invalid argument를 발생시키는 것이 맞나요?
위로
사용자 정보 보기 비밀 메시지 보내기
조성근



가입: 2009년 9월 14일
올린 글: 283

올리기올려짐: 2010년11월14일 15:33    주제: 인용과 함께 답변

다음 식들은 프로그램이 아닙니다. M 언어 정의 문서의 1.1 Program에서 프로그램을 함수가 아닌 식들로 정의하고 있습니다.
코드:
(\x. x)
(\x. x = x)
(\x. write x)

반면 다음 식은 프로그램이고 타입 추론이 가능합니다.
코드:
(/x.x) 3


신기정 씀:
1. 타입 에러 발생 시의 출력 message 내용에는 제한이 없나요?

예. 없습니다.

신기정 씀:
2. Free Variable이 있는 경우는
타입 에러가 아닌 Invalid argument를 발생시키는 것이 맞나요?

README의 내용대로 "M.RuntimeError는 M_Vanilla.run과 M_LowFat.run에서만, M.TypeError는 M_Checker.check에서만" 내도록 해 주세요. 에러 메세지를 보시면 아시겠지만 emptyEnv와 emptyMem은 RuntimeError를 발생시킵니다.
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2010) 시간대: GMT + 9 시간(한국)
페이지 11

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


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