게시판 인덱스

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

m의 type정의를 바꿔도 되나요?

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



가입: 2009년 9월 26일
올린 글: 50

올리기올려짐: 2009년11월10일 12:44    주제: m의 type정의를 바꿔도 되나요? 인용과 함께 답변

M에서

types 정의에서 타입변수(TyVar)가 없어서
애를 먹고 있는데..

아무래도 이걸 바꿔버리면 좀 곤란하겠죠?
위로
사용자 정보 보기 비밀 메시지 보내기
노건일



가입: 2009년 9월 26일
올린 글: 50

올리기올려짐: 2009년11월10일 13:18    주제: 인용과 함께 답변

조교님, 그리고 주어진 예제 sort는

타입체크를 통과해서 제대로 도는 프로그램인가요?
위로
사용자 정보 보기 비밀 메시지 보내기
허기홍



가입: 2007년 9월 27일
올린 글: 231

올리기올려짐: 2009년11월10일 14:07    주제: 인용과 함께 답변

m.ml 파일은 제출하지 않기 때문에 그 파일을 바꾸시면 채점이 안됩니다.

대신 여러분이 작성하시는 hw6_1, hw6_2 파일 내에서
필요한 타입을 선언해서 자유로이 사용하시고
마지막에 리턴할 때 m.ml에 있는 타입으로 변환해주시면 됩니다.

m.ml에 있는 타입은 올바른 프로그램이 갖는 타입만 정의해 놓았으니
TyVar 같은 것이 들어 있으면 안되겠지요..


그리고 sort.m은 단순 타입 시스템을 통과하는 프로그램입니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기 글 올린이의 웹사이트 방문
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2009) 시간대: GMT + 9 시간(한국)
페이지 11

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


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