공순호
가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호
|
 올려짐: 2007년5월23일 12:05 주제: 오늘 실습, 답안 올려두었습니다. |
 |
|
TA Page에 올려두었습니다. 확인하시기 바랍니다.
오늘 SIGBT를 작성할 때에
type key = int 로 작성하라고 말씀드렸었는데, 수정하시기 바랍니다.
아래와 같이 작성하면, SIGBT를 구현한 structure BT를 작성하고, 문제없이 이용할 수 있습니다.
| 코드: | signature SIGBT = sig
type key
type 'a tree
val empty : 'a tree
val insert : key -> 'a -> 'a tree -> 'a tree
val lookup : key -> 'a tree -> 'a option
end
structure BT : SIGBT where type key = int = struct
type key = int
type 'a tree = LEAF
.
.
.
|
SIGBT에서는 type key를 비워두고, 이를 이용하는 structure BT에서 where 구문을 이용해서 key의 타입을 signature에 추가하는 식으로 이용하는 것이 좋은 방법입니다.
_________________
- soon@ropas |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
