이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
노건일
가입: 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은 단순 타입 시스템을 통과하는 프로그램입니다. |
|
위로 |
|
|
|