| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
crash27
가입: 2009년 3월 14일
올린 글: 19
|
 올려짐: 2009년3월14일 15:01 주제: HW1에 대한 질문 |
 |
|
OcaML에 대해서 강의도 들었는데
과제하기가 너무 어렵네요 ㅠ_ㅠ 흑
ex1에서 n=0이면 아무일하지 않는 함수을 쓰기 위해서
fun f의 인자로 들어온 x값을 가지고 오게 하고 싶은데..
어떻게 하는지 모르겠네용 ㅠ_ㅠ
그리고
ex4 에서 nat type을 정의하고
구하려는 함수가 nat*nat의 tuple입력이 들어가는데
그러면 실행의 예가
natadd (SUCC(SUCC(SUCC(ZERO))), SUCC(ZERO)) 가 입력이면
SUCC(SUCC(SUCC(SUCC(ZERO))) 이렇게 나오는게 맞는것인지..
아직 개념이 안 잡혀서 그런지 어렵네용 @_@;; help! |
|
| 위로 |
|
 |
공순호
가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호
|
| 올려짐: 2009년3월16일 7:54 주제: |
|
|
| 인용: | ex1에서 n=0이면 아무일하지 않는 함수을 쓰기 위해서
fun f의 인자로 들어온 x값을 가지고 오게 하고 싶은데..
어떻게 하는지 모르겠네용 ㅠ_ㅠ |
아무일도 하지 않는(identity) 함수는 x를 받아서 x를 돌려주는 함수이겠지요. 문제에 있는 fun의 사용 방법을 참조하시면 해결하실 수 있을 것입니다.
| 인용: | 그리고
ex4 에서 nat type을 정의하고
구하려는 함수가 nat*nat의 tuple입력이 들어가는데
그러면 실행의 예가
natadd (SUCC(SUCC(SUCC(ZERO))), SUCC(ZERO)) 가 입력이면
SUCC(SUCC(SUCC(SUCC(ZERO))) 이렇게 나오는게 맞는것인지.. |
맞습니다. 
| 인용: | | 아직 개념이 안 잡혀서 그런지 어렵네용 @_@;; help! |
도움이 되셨기를 바랍니다.
_________________
- soon@ropas |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
