게시판 인덱스

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

nML에서 도저히 모르겠어서 질문드려요-0-

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





올리기올려짐: 2005년9월25일 20:22    주제: nML에서 도저히 모르겠어서 질문드려요-0- 인용과 함께 답변

숙제 2번에서요 아무리 하다가 도저히 모르겠어서 질문드립니다..ㅡㅡ;;

type ae = ...
| SUM ae list
...

한다음에요, 펑션에서

fun diff(...)...
| diff(SUM h::t) = h
| ...

이라고 한 다음에 컴파일 하면
제 생각에는 컴파일 되어야 될 것 같은데
컴파일러가 ae 타입이어야 하는데 _a list 타입이라고 에러를 뱉습니다.

...고수님들의 도움 부탁드려요ㅜㅜ;;
위로
김덕환



가입: 2005년 8월 29일
올린 글: 190

올리기올려짐: 2005년9월25일 20:43    주제: Re: nML에서 도저히 모르겠어서 질문드려요-0- 인용과 함께 답변

정대경 씀:

type ae = ...
| SUM ae list
...

한다음에요, 펑션에서

fun diff(...)...
| diff(SUM h::t) = h
| ...

이라고 한 다음에 컴파일 하면
제 생각에는 컴파일 되어야 될 것 같은데
컴파일러가 ae 타입이어야 하는데 _a list 타입이라고 에러를 뱉습니다.


대경 님께서 의도하시는 바는 아래 코드가 아닐까 합니다. 괄호를 잘 살펴봐주세요.
코드:

fun diff (...) ...
  | diff (SUM (h :: t)) = h
  | ...


@ BBCode를 사용하시면 소스 코드의 들여쓰기를 유지하는 등 다양한 효과를 낼 수 있습니다.
_________________
TheyAreAsSmartAsYouAre
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4190.310 Programming Languages (Fall 2005) 시간대: GMT + 9 시간(한국)
페이지 11

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


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