프로그래밍언어론 hw1~9

소개글

프로그래밍언어론 hw1~9에 대한 보고서 자료입니다.

목차

프로그래밍언어론 hw1~9.zip

3.61mb
------------------------------------------------------
hw-01 : HomeWork1.jpg

hw-02 : mycount.scm, myfind.scm, mylength.scm, mysum.scm, mytrans.scm

hw-03 : p_1.jpg, p_2.jpg

hw-04 : datatype.scm, test.scm

hw-05 : parse.scm, test.scm

hw-06 : tests(테스트프로그램폴더), env.scm, Let, misc.scm, parse.scm, run.scm, value.scm

hw-07 : tests(테스트프로그램폴더), env.scm, letrec, misc.scm, parse.scm, run.scm, value.scm

hw-08 : my(add, loop, multi, power), tests, env.scm implicit-refs, misc.scm, parse.scm, parse.scm.bak, run.scm, store.scm, value.scm

hw-09 : tests, check.scm, checked, env.scm, misc.scm, parse.scm, run.scm, tenv.scm, value.scm

본문내용

parse.scm의 내용 중
-----------------------------------------------------------------------



;; ======================================================================

(define-datatype program program?
(a-program (exp1 expression?)))

(define-datatype expression expression?
(const-exp (num number?))
(var-exp (var symbol?))
(zero?-exp (exp1 expression?))
(diff-exp (exp1 expression?) (exp2 expression?))
(mul-exp (exp1 expression?) (exp2 expression?))
(if-exp (exp1 expression?) (exp2 expression?) (exp3 expression?))
(let-exp (var symbol?) (exp1 expression?) (exp2 expression?))
(proc-exp (var symbol?) (ty type?) (body expression?))
(call-exp (rator expression?) (rand expression?))
(letrec-exp (p-result-type type?) (p-name symbol?)
(b-var symbol?) (b-var-type type?)
(p-body expression?) (letrec-body expression?)))

(define-datatype type type?
(int-type)
(bool-type)
(proc-type (arg-type type?) (result-type type?)))

;; ======================================================================

(define scanner-rules
'((whitespace (whitespace) skip)
(comment ("%" (arbno (not #\newline))) skip)
(identifier (letter (arbno (or letter digit "_" "?"))) symbol)
(number (digit (arbno digit)) number)
(number ("-" digit (arbno digit)) number)))

(define parser-rules
'((program (expression) a-program)
(expression (number) const-exp)
(expression (identifier) var-exp)
(expression ("zero?" "(" expression ")") zero?-exp)
(expression ("-" "(" expression "," expression ")") diff-exp)
(expression ("*" "(" expression "," expression ")") mul-exp)
(expression ("if" expression "then" expression "else" expression) if-exp)
(expression ("let" identifier "=" expression "in" expression) let-exp)
(expression ("proc" "(" identifier ":" type ")" expression) proc-exp)
(expression ("(" expression expression ")") call-exp)
(expression ("letrec" type identifier "(" identifier ":" type ")" "=" expression
"in" expression) letrec-exp)
(type ("int") int-type)
(type ("bool") bool-type)
(type ("(" type "->" type ")") proc-type)))

(define scan&parse
(sllgen:make-string-parser scanner-rules parser-rules))

;; ======================================================================

키워드

프로그래밍언어론,   상명대,   신동하,   스킴,   let,   letrec