| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
한재화
손님
|
 올려짐: 2007년10월4일 19:34 주제: Env 와 Mem 모듈에 있는 함수들의 사용법이 궁금합니다. |
 |
|
K.run(mem,environ, VAR y) 라 함은 y에 바인딩된 값을 리턴하는 게 맞죠?
그러려면, env에서 y에 할당된 주소를 mem에서 fetch 해줘야하는데, 그러기 위해서
| 코드: |
Mem.fetch (env_loc x environ) (0,mem)
|
을 했습니다.
그런데, Mem.fetch의 결과가 'a option 타입이라 K.value 타입이 아니라는 에러 메시지가 뜨는데요..
현재 메모리에서 특정 주소에 있는 값을 가져오는 함수는 fetch 뿐인것 같은데 이경우는 어떻게 해야 하나요?  |
|
| 위로 |
|
 |
정영범
가입: 2005년 9월 5일
올린 글: 167
|
| 올려짐: 2007년10월5일 1:06 주제: |
|
|
옵션(option) 타입이어서 그렇습니다.
값이 있을 수도 있고, 없을 수도 있기 때문에 value option타입으로 만들었습니다.
따라서 아래와 같이 voption이 value option타입의 값이라면
| 코드: | case voption of
Some v => v
| None => Bot |
와 같이 비교해 주는 작업이 필요하죠. |
|
| 위로 |
|
|
|
|
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다
|
Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay |
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
