schemeのことです

質問

schemeのことです
expression datatypeを作りました
一番最後のexp->string部分で困っています
consとかifとか使うべきですか？

--------------------------------
(define-datatype expression expression?
(const-exp (num number?))
(var-exp (var symbol?))
(zero?-exp (exp1 expression?))
(diff-exp (exp1 expression?) (exp2 expression?)))

;; Predicates.

(define const-exp?
(lambda (exp)
(cases expression exp
(const-exp (num) #t)
(else #f))))

(define var-exp?
(lambda (exp)
(cases expression exp
(var-exp (var) #t)
(else #f))))

(define zero?-exp?
(lambda (exp)
(cases expression exp
(zero?-exp (exp1) #t)
(else #f))))

(define diff-exp?
(lambda (exp)
(cases expression exp
(diff-exp (exp1 exp2) #t)
(else #f))))

;; ======================================================================
;; Extractors.

(define exp->const
(lambda (exp)
(cases expression exp
(const-exp (num) num)
(else #f))))

(define exp->var
(lambda (exp)
(cases expression exp
(var-exp (var) var)
(else #f))))

(define exp->exp1
(lambda (exp)
(cases expression exp
(zero?-exp (exp1) exp1)
(else #f))))

(define exp->exp2
(lambda (exp)
(cases expression exp
(diff-exp (exp1 exp2) exp2)

;; ======================================================================
;; exp->string: exp -> string
;; Abstract syntax to concrete syntax.

(define exp->string
(lambda (exp)
(cond ((const-exp? exp) (format "~a" (exp->const exp)))
((var-exp? exp) (format "~a" (exp->var exp)))
((zero?-exp? exp) (format "zero?(~a)" (exp->exp1 exp)))
((diff-exp? exp) (format "-(~a,~a)" (exp->exp2 exp)(exp->exp2 exp)))
(else #f

回答No.1

cametan_42 · ベストアンサー

全く要領を得ない質問ですね。
そもそも公式にはdefine-datatypeなんてマクロ（あるいは特殊形式)なんて定義されていない筈。
もうちょっと「何を目的にして何をやりたいのか」記述した方がいいと思いますね。

補足

あ
そうですか？
新しい言語を作ったんです
それがexpression
内容の全部が定義です
最後にexpression言語をstring文字に変えるexp->stringを作ってますが