| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
장민석
가입: 2006년 9월 5일
올린 글: 165
|
 올려짐: 2007년5월16일 16:41 주제: 4-2 memo-ways 타입 |
 |
|
숙제 스펙에 의하면 ways 함수는
nat -> nat -> nat
타입입니다.
그런데 memo-ways는
nat x nat -> nat
이라고 명시되어 있는데요. 그럼 memo-ways는 ways와는 달리 인자를 하나 받는 함수인 것이지요? 혹시나 해서 여쭤봅니다. |
|
| 위로 |
|
 |
공순호
가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호
|
| 올려짐: 2007년5월17일 13:28 주제: |
|
|
숙제 스펙에 나와있는 것과 같이
| 코드: |
(define (memo-ways n m)
.
.
.
)
|
작성하시면 되겠습니다.
_________________
- soon@ropas |
|
| 위로 |
|
|
장민석
가입: 2006년 9월 5일
올린 글: 165
|
| 올려짐: 2007년5월18일 0:00 주제: |
|
|
숙제 스펙에는
| 인용: | (define (ways n m)
.
.
.
) |
이렇게 나와있는데요.
| 인용: | | memo-ways : nat x nat -> nat |
이것은 무시해도 좋다는 말씀인가요? |
|
| 위로 |
|
|
주진영
가입: 2007년 4월 2일
올린 글: 1
|
| 올려짐: 2007년5월19일 21:44 주제: 숙제 스펙에 의하면 |
|
|
ways 함수는
nat -> nat -> nat
타입이 아니라
nat x nat -> nat
타입이 맞습니다. |
|
| 위로 |
|
|
공순호
가입: 2005년 9월 29일
올린 글: 363
위치: 302동 312-2호
|
| 올려짐: 2007년5월19일 21:58 주제: |
|
|
COMSEE를 다녀와서 답변이 늦었습니다. 양해 부탁 드리겠습니다.
--------------------------------------------------------------------
| 인용: |
숙제 스펙에 의하면 ways 함수는
nat -> nat -> nat
타입입니다.
|
ways 함수의 타입이 nat -> nat -> nat 라면
ways 함수에 nat 1개를 적용하면 nat -> nat 타입의 함수가 나와야하겠지만,
이번 숙제에서 제시하는 스펙을 읽어보시면 그렇지 않음을 아실 수 있을겁니다.
nML에서는 기본적으로 함수의 Curried-Form을 지원하지만
Scheme에서는 그렇지 않습니다. (물론 구현할 수 있습니다만!)
지난 숙제들의 문서들을 살펴보시면 숙제 스펙에서 함수 타입을 나타낼 때
통일성 있게 나타내고 있다는 것을 아실 수 있습니다.
와 같은 함수의 타입은
f : type_of_a x type_of_b -> type_of_c
와 같이 나타내고 있습니다.
_________________
- soon@ropas |
|
| 위로 |
|
|
장민석
가입: 2006년 9월 5일
올린 글: 165
|
| 올려짐: 2007년5월19일 23:53 주제: |
|
|
아 멍청한 질문을 드렸군요 ^^;;
nML을 다시 보다보니 헷갈렸나 봅니다. |
|
| 위로 |
|
|
|
FAQ
검색
멤버리스트
사용자 그룹
사용자 등록하기
개인 정보
비공개 메시지를 확인하려면 로그인하십시오
로그인
