박대준
가입: 2005년 10월 7일
올린 글: 245
|
 올려짐: 2006년4월4일 1:07 주제: |
 |
|
숙제에 정의된 모빌의 타입을 잘 살펴봅시다.
| 코드: | model : nat -> mobile
make-branch : nat * mobile -> branch
make-mobile : branch * branch -> mobile |
| 인용: | 모빌은 왼쪽과 오른쪽 두개의 브랜치 만으로 이루어지는 건지요?
3개 이런 건 불가능한 거죠? |
make-mobile 을 보면 branch 2개를 받아서 mobile 이 이루어 짐을 명확히 알 수 있습니다.
| 인용: | 그리고.. 하나의 브랜치 끝에는 모델이 올 수도 있고, 아니면 또다른 브랜치가
올 수도 있는 건가요? |
branch 끝에 무엇이 온다기보다는, branch 가 nat 길이만큼의 가지와 그 가지에 mobile이 매달린 것이라고 보는 것이 정확합니다.
위에서 인용된 글에서 "브랜치"라 함은 제가 말한 "가지"를 뜻하는 것 같은데,
가지 끝에는 model 이 오는것이 아니라 mobile 이 오는 것입니다.
또한, branch 는 mobile 이 아니기 때문에, 가지 끝에 매달릴 수 없습니다. |
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
