| 이전 주제 보기 :: 다음 주제 보기 |
| 글쓴이 |
메시지 |
강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2012년9월22일 12:52 주제: 실습2 타입적기 모범답안 |
|
|
숙제 하시는데에 참고하시기 바랍니다.
| 코드: | (cons 4 'a) ; int X symbol
(display 2) ; unit
(lambda (a) (+ a 4)) ; int -> int
(cons 2 (cons "ab" 'd)) ; int X (string X symbol)
(list 1 2 3) ; int list
(define (foo x) (if x 1 5)) ; bool -> int
(define (foo x y) (+ x y) ; int * int -> int
(define (bar x) (+ (car x) (cdr x))) ; int X int -> int
(define (bar x y) (if x #t (equal? y "abc"))) bool * string -> bool
(define (bar f x) (if (f x) (if (f (+ 3 x)) (- x 1) x) (* x 2))) ; (int -> bool) * int -> int
(define (sum a b) (if (= a b) b (+ a (sum (+ a 1) b)))) ; int * int -> int
(define (memq item x) ; T list * T -> bool
(cond ((null? x) false)
((eq? item (car x)) true)
(else (memq item (cdr x)))
)
) |
강동옥 가 2012년10월8일 13:41에 수정함, 총 1 번 수정됨 |
|
| 위로 |
|
 |
김찬호
가입: 2011년 9월 15일 올린 글: 10
|
올려짐: 2012년9월28일 15:30 주제: X와 *는 다른건가요? |
|
|
(foo a b); foo: alpha * beta 로 써야하는지
(foo a b); foo: alpha X beta로 써야하는지 모르겠습니다
*와 X는 무슨 차이점이 있나요?
*는 여러 인자를, X는 특별히 pair의 경우를 표현하는건가요? |
|
| 위로 |
|
 |
최민아
가입: 2009년 9월 28일 올린 글: 236
|
올려짐: 2012년9월29일 14:51 주제: |
|
|
맞습니다.
*는 여러 인자, X는 pair입니다. |
|
| 위로 |
|
 |
|