(wat-aro)

生きてます

SICP 問題 5.30b

primitive-procedure のエラーもECEVAL上で扱えるようにする.
まず基盤のschemeから手続きを登録するときに事前チェックするように変更する.
もしエラーになるような引数が与えられた時には('failed . 'hoge-syntax-error)を返す.
primitive-applyでvalにapplyした値を代入した後primitive-errorでチェック.
carが'failedならprimitive-errorにジャンプしてvalの値を'hoge-syntax-errorにしてsignal-errorにジャンプ.
'hoge-syntax-errorを出力した後にREPLの最初に戻り,stackはイニシャライズされる.
 

;; ecevalの評価の前にこれを評価する.
;;; primitive-procedure用のerrorチェック
(define (primitive-error? val)
  (eq? (car val) 'failed))

;;;ここでprimitive-procedureは一度チェックしてから使う手続きに変える.
(define primitive-procedures
  (list (list 'car
              (lambda x (let ((err (cons 'failed 'car-syntax-error)))
                          (cond ((null? x) err)
                                ((< 1 (length x)) err)
                                ((pair? x) (car (car x)))
                                (else err)))))
        (list 'cdr
              (lambda (x) (let ((err (cons 'failed 'cdr-syntax-error)))
                            (cond ((null? x) err)
                                ((< 1 (length x)) err)
                                ((pair? x) (cdr (car x)))
                                (else err)))))
        (list 'cons
              (lambda x (let ((err (cons 'failed 'cons-syntax-error)))
                          (cond ((= (length x) 2) (cons (car x) (cadr x)))
                                (else err)))))
        (list 'null?
              (lambda x (cond ((= (length x) 1) (null? (car x)))
                              (else (cons 'failed 'null-syntax-error)))))
        (list '=
              (lambda lst (let ((err (cons 'failed '=-syntax-error)))
                          (cond ((fold (lambda (x y) (and (number? x)
                                                          y)) #t lst)
                                 (apply = lst))
                                ((= 1 (length x)) err)
                                (else err)))))
        (list '- -)
        (list '+ +)
        (list '* *)
        (list '/
              (lambda lst (let ((err (cons 'failed '/-syntax-error)))
                            (cond ((null? lst) err)
                                  ((fold (lambda (x y) (and (not (zero? x)) y)) (cdr lst))
                                   (apply / lst))
                                  (else err)))))
        (list '>
              (lambda lst (let ((err (cons 'failed '>-syntax-error)))
                            (cond ((null? lst) err)
                                  ((fold (lambda (x y) (and (not (number? x)) y)) #t lst)
                                   (apply > lst))
                                  (else err)))))
        (list '<
              (lambda lst (let ((err (cons 'failed '<-syntax-error)))
                            (cond ((null? lst) err)
                                  ((fold (lambda (x y) (and (not (number? x)) y)) #t lst)
                                   (apply < lst))
                                  (else err)))))))

(define (primitive-procedure-names)
  (map car primitive-procedures))

(define (primitive-procedure-objects)
  (map (lambda (proc) (list 'primitive (cadr proc)))
       primitive-procedures))

(define (apply-primitive-procedure proc args)
  (apply-in-underlying-scheme
   (primitive-implementation proc) args))

(define (setup-environment)
  (let ((initial-env
         (extend-environment (primitive-procedure-names)
                             (primitive-procedure-objects)
                             the-empty-environment)))
    (define-variable! 'true #t initial-env)
    (define-variable! 'false #f initial-env)
    initial-env))

(define the-global-environment (setup-environment))
(define (get-global-environment) the-global-environment)
     ;; eceval中で
     primitive-apply
     (assign val (op apply-primitive-procedure)
             (reg proc)
             (reg argl))
     (test (op primitive-error?) (reg val))        ;errorチェック
     (branch (label primitive-error))
     (restore continue)
     (goto (reg continue))

     primitive-error
     (assign val (op cdr) (reg val))
     (goto (label signal-error))

test

;;; EC-Eval input:
(/1 0)
unknown-variable-error

;;; EC-Eval input:
(cons 'a)
cons-syntax-error

;;; EC-Eval input:

a
unknown-variable-error

全部は網羅していないがこのようにECEVALのREPLから離れずにエラーが返ってくる.
 
最後の全文を掲載する. 

;;; 5.2 で実装したシミュレータ.トレース機能追加済み.
;;; 初めてassignするレジスタを登録していくタイプ
(load "./register-machine-simulator.scm")
;;; 4.1で実装した評価器
(load "./eval.scm")

;;; 5.4.1-5.4.4までの注釈でかかれていた手続き
(define (no-more-exps? seq) (null? seq))
(define (empty-arglist) '())
(define (adjoin-arg arg arg-list)
  (append arg-list (list arg)))
(define (last-operand? ops)
  (null? (cdr ops)))

(define (lookup-variable-value var env)
  (define (env-loop env)
    (define (scan vars vals)
      (cond ((null? vars)
             (env-loop (enclosing-environment env)))
            ((eq? var (car vars))
             (if (eq? (car vals) '*unassigned*)
                 '*unassigned*-variable-error
                 (car vals)))
            (else (scan (cdr vars) (cdr vals)))))
    (if (eq? env the-empty-environment)
        'unknown-variable-error
        (let ((frame (first-frame env)))
          (scan (frame-variables frame)
                (frame-values frame)))))
  (env-loop env))

(define (variable-error? val)
  (or (eq? '*unassigned*-variable-error val)
      (eq? 'unknown-variable-error val)))

(define (lambda-error? exp)
  (null? (cdr exp)))

(define (begin-error? exp)
  (null? (cdr exp)))

(define (if-error? exp)
  (let ((x (length exp)))
    (< 2 x 5)))

(define (let-error? exp)
  (fold (lambda (x y) (and (pair? x) y)) #t (cadr exp)))

(define (assignment-error? exp env)
  (or (not (= 3 (length exp)))
      (not (symbol? (cadr exp)))
      (variable-error? (lookup-variable-value (cadr exp) env))))

(define (definition-error? exp)
  (or (not (= 3 (length exp)))
      (number? (cadr exp))
      (and (pair? (cadr exp))
           (number? (caadr exp)))))

;;; primitive-procedure用のerrorチェック
(define (primitive-error? val)
  (eq? (car val) 'failed))

;;;ここでprimitive-procedureは一度チェックしてから使う手続きに変える.
(define primitive-procedures
  (list (list 'car
              (lambda x (let ((err (cons 'failed 'car-syntax-error)))
                          (cond ((null? x) err)
                                ((< 1 (length x)) err)
                                ((pair? x) (car (car x)))
                                (else err)))))
        (list 'cdr
              (lambda (x) (let ((err (cons 'failed 'cdr-syntax-error)))
                            (cond ((null? x) err)
                                ((< 1 (length x)) err)
                                ((pair? x) (cdr (car x)))
                                (else err)))))
        (list 'cons
              (lambda x (let ((err (cons 'failed 'cons-syntax-error)))
                          (cond ((= (length x) 2) (cons (car x) (cadr x)))
                                (else err)))))
        (list 'null?
              (lambda x (cond ((= (length x) 1) (null? (car x)))
                              (else (cons 'failed 'null-syntax-error)))))
        (list '=
              (lambda lst (let ((err (cons 'failed '=-syntax-error)))
                          (cond ((fold (lambda (x y) (and (number? x)
                                                          y)) #t lst)
                                 (apply = lst))
                                ((= 1 (length x)) err)
                                (else err)))))
        (list '- -)
        (list '+ +)
        (list '* *)
        (list '/
              (lambda lst (let ((err (cons 'failed '/-syntax-error)))
                            (cond ((null? lst) err)
                                  ((fold (lambda (x y) (and (not (zero? x)) y)) (cdr lst))
                                   (apply / lst))
                                  (else err)))))
        (list '>
              (lambda lst (let ((err (cons 'failed '>-syntax-error)))
                            (cond ((null? lst) err)
                                  ((fold (lambda (x y) (and (not (number? x)) y)) #t lst)
                                   (apply > lst))
                                  (else err)))))
        (list '<
              (lambda lst (let ((err (cons 'failed '<-syntax-error)))
                            (cond ((null? lst) err)
                                  ((fold (lambda (x y) (and (not (number? x)) y)) #t lst)
                                   (apply < lst))
                                  (else err)))))))

(define (primitive-procedure-names)
  (map car primitive-procedures))

(define (primitive-procedure-objects)
  (map (lambda (proc) (list 'primitive (cadr proc)))
       primitive-procedures))

(define (apply-primitive-procedure proc args)
  (apply-in-underlying-scheme
   (primitive-implementation proc) args))

(define (setup-environment)
  (let ((initial-env
         (extend-environment (primitive-procedure-names)
                             (primitive-procedure-objects)
                             the-empty-environment)))
    (define-variable! 'true #t initial-env)
    (define-variable! 'false #f initial-env)
    initial-env))

(define the-global-environment (setup-environment))
(define (get-global-environment) the-global-environment)


(define eceval
  (make-machine
   (list (list 'self-evaluating? self-evaluating?)
         (list 'variable? variable?)
         (list 'quoted? quoted?)
         (list 'text-of-quotation text-of-quotation)
         (list 'assignment? assignment?)
         (list 'definition? definition?)
         (list 'if? if?)
         (list 'true? true?)
         (list 'cond? cond?)
         (list 'lambda? lambda?)
         (list 'begin? begin?)
         (list 'application? application?)
         (list 'lookup-variable-value lookup-variable-value)
         (list 'lambda-parameters lambda-parameters)
         (list 'lambda-body lambda-body)
         (list 'make-procedure make-procedure)
         (list 'operands operands)
         (list 'operator operator)
         (list 'empty-arglist empty-arglist)
         (list 'no-operands? no-operands?)
         (list 'first-operand first-operand)
         (list 'last-operand? last-operand?)
         (list 'adjoin-arg adjoin-arg)
         (list 'rest-operands rest-operands)
         (list 'primitive-procedure? primitive-procedure?)
         (list 'compound-procedure? compound-procedure?)
         (list 'apply-primitive-procedure apply-primitive-procedure)
         (list 'procedure-parameters procedure-parameters)
         (list 'procedure-environment procedure-environment)
         (list 'extend-environment extend-environment)
         (list 'procedure-body procedure-body)
         (list 'begin-actions begin-actions)
         (list 'first-exp first-exp)
         (list 'last-exp? last-exp?)
         (list 'rest-exps rest-exps)
         (list 'if-predicate if-predicate)
         (list 'if-alternative if-alternative)
         (list 'if-consequent if-consequent)
         (list 'cond->if cond->if)
         (list 'and? and?)
         (list 'and->if and->if)
         (list 'or? or?)
         (list 'or->if or->if)
         (list 'let? let?)
         (list 'let->combination let->combination)
         (list 'let*? let*?)
         (list 'let*->nested-lets let*->nested-lets)
         (list 'letrec? letrec?)
         (list 'letrec->let letrec->let)
         (list 'assignment-variable assignment-variable)
         (list 'assignment-value assignment-value)
         (list 'set-variable-value! set-variable-value!)
         (list 'definition-variable definition-variable)
         (list 'definition-value definition-value)
         (list 'define-variable! define-variable!)
         (list 'prompt-for-input prompt-for-input)
         (list 'read read)
         (list 'get-global-environment get-global-environment)
         (list 'announce-output announce-output)
         (list 'user-print user-print)
         (list 'variable-error? variable-error?)
         (list 'lambda-error? lambda-error?)
         (list 'begin-error? begin-error?)
         (list 'if-error? if-error?)
         (list 'let-error? let-error?)
         (list 'assignment-error? assignment-error?)
         (list 'definition-error? definition-error?)
         (list 'primitive-error? primitive-error?)
         (list 'cdr cdr))
   '(read-eval-print-loop
     (perform (op initialize-stack))
     (perform
      (op prompt-for-input) (const ";;; EC-Eval input:"))
     (assign exp (op read))
     (assign env (op get-global-environment))
     (assign continue (label print-result))
     (goto (label eval-dispatch))

     eval-dispatch
     (test (op self-evaluating?) (reg exp))
     (branch (label ev-self-eval))
     (test (op variable?) (reg exp))
     (branch (label ev-variable))
     (test (op quoted?) (reg exp))
     (branch (label ev-quoted))
     (test (op assignment?) (reg exp))
     (branch (label ev-assignment))
     (test (op definition?) (reg exp))
     (branch (label ev-definition))
     (test (op if?) (reg exp))
     (branch (label ev-if))
     (test (op cond?) (reg exp))        ;cond?を追加
     (branch (label ev-cond))
     (test (op and?) (reg exp))
     (branch (label ev-and))
     (test (op or?) (reg exp))
     (branch (label ev-or))
     (test (op lambda?) (reg exp))
     (branch (label ev-lambda))
     (test (op let?) (reg exp))
     (branch (label ev-let))
     (test (op let*?) (reg exp))
     (branch (label ev-let*))
     (test (op letrec?) (reg exp))
     (branch (label ev-letrec))
     (test (op begin?) (reg exp))
     (branch (label ev-begin))
     (test (op application?) (reg exp))
     (branch (label ev-application))
     (goto (label unknown-expression-type))

     ev-self-eval
     (assign val (reg exp))
     (goto (reg continue))

     ev-variable
     (assign val (op lookup-variable-value) (reg exp) (reg env))
     (test (op variable-error?) (reg val))
     (branch (label signal-error))      ;valにエラーコードが入っているのでそのままsignal-errorへ
     (goto (reg continue))

     ev-quoted
     (assign val (op text-of-quotation) (reg exp))
     (goto (reg continue))

     ev-lambda
     (test (op lambda-error?) (reg exp))
     (branch (label lambda-error))      ;lambda-errorに飛び,valにエラーコードを入れる
     (assign unev (op lambda-parameters) (reg exp))
     (assign exp (op lambda-body) (reg exp))
     (assign val (op make-procedure)
             (reg unev) (reg exp) (reg env))
     (goto (reg continue))

     lambda-error
     (assign val (const lambda-require-expression))
     (goto (label signal-error))

     ev-application
     (save continue)
     (save env)
     (assign unev (op operands) (reg exp))
     (save unev)
     (assign exp (op operator) (reg exp))
     (assign continue (label ev-appl-did-operator))
     (goto (label eval-dispatch))

     ev-appl-did-operator
     (restore unev)                     ;非演算子
     (restore env)
     (assign argl (op empty-arglist))
     (assign proc (reg val))
     (test (op no-operands?) (reg unev))
     (branch (label apply-dispatch))
     (save proc)

     ev-appl-operand-loop
     (save argl)
     (assign exp (op first-operand) (reg unev))
     (test (op last-operand?) (reg unev))
     (branch (label ev-appl-last-arg))  ;最後の引数の場合はここへ飛ぶ
     (save env)
     (save unev)
     (assign continue (label ev-appl-accumulate-arg))
     (goto (label eval-dispatch))

     ev-appl-accumulate-arg
     (restore unev)
     (restore env)
     (restore argl)
     (assign argl (op adjoin-arg) (reg val) (reg argl))
     (assign unev (op rest-operands) (reg unev))
     (goto (label ev-appl-operand-loop))

     ev-appl-last-arg
     (assign continue (label ev-appl-accum-last-arg)) ;evalの後にここにいって引数を回復する.
     (goto (label eval-dispatch))

     ev-appl-accum-last-arg
     (restore argl)
     (assign argl (op adjoin-arg) (reg val) (reg argl))
     (restore proc)
     (goto (label apply-dispatch))

     apply-dispatch
     (test (op primitive-procedure?) (reg proc))
     (branch (label primitive-apply))
     (test (op compound-procedure?) (reg proc))
     (branch (label compound-apply))
     (goto (label unknown-procedure-type))

     primitive-apply
     (assign val (op apply-primitive-procedure)
             (reg proc)
             (reg argl))
     (test (op primitive-error?) (reg val))        ;errorチェック
     (branch (label primitive-error))
     (restore continue)
     (goto (reg continue))

     primitive-error
     (assign val (op cdr) (reg val))
     (goto (label signal-error))

     compound-apply
     (assign unev (op procedure-parameters) (reg proc))
     (assign env (op procedure-environment) (reg proc))
     (assign env (op extend-environment)
             (reg unev) (reg argl) (reg env))
     (assign unev (op procedure-body) (reg proc))
     (goto (label ev-sequence))

     ev-begin
     (test (op begin-error?) (reg exp))
     (branch (label begin-error))
     (assign unev (op begin-actions) (reg exp))
     (save continue)
     (goto (label ev-sequence))

     begin-error
     (assign val (const begin-require-expression))
     (goto (label signal-error))

     ev-sequence
     (assign exp (op first-exp) (reg unev))
     (test (op last-exp?) (reg unev))
     (branch (label ev-sequence-last-exp))
     (save unev)
     (save env)
     (assign continue (label ev-sequence-continue))
     (goto (label eval-dispatch))

     ev-sequence-continue
     (restore env)
     (restore unev)
     (assign unev (op rest-exps) (reg unev))
     (goto (label ev-sequence))

     ev-sequence-last-exp
     (restore continue)
     (goto (label eval-dispatch))

     ev-if
     (test (op if-error?) (reg exp))
     (branch (label if-error))
     (save exp)
     (save env)
     (save continue)
     (assign continue (label ev-if-decide))
     (assign exp (op if-predicate) (reg exp))
     (goto (label eval-dispatch))

     if-error
     (assign val (const if-syntax-error))
     (goto (label signal-error))

     ev-if-decide
     (restore continue)
     (restore env)
     (restore exp)
     (test (op true?) (reg val))
     (branch (label ev-if-consequent))

     ev-if-alternative
     (assign exp (op if-alternative) (reg exp))
     (goto (label eval-dispatch))

     ev-if-consequent
     (assign exp (op if-consequent) (reg exp))
     (goto (label eval-dispatch))

     ev-cond
     (assign exp (op cond->if) (reg exp))
     (goto (label eval-dispatch))

     ev-and
     (assign exp (op and->if) (reg exp))
     (goto (label eval-dispatch))

     ev-or
     (assign exp (op or->if) (reg exp))
     (goto (label eval-dispatch))

     ev-let
     (test (op let-error?) (reg exp))
     (branch (label let-error))
     (assign exp (op let->combination) (reg exp))
     (goto (label eval-dispatch))

     let-error
     (assign val (const let-syntax-error))
     (goto (label signal-error))

     ev-let*
     (test (op let-error?) (reg exp))
     (branch (label let*-error))
     (assign exp (op let*->nested-lets) (reg exp))
     (goto (label eval-dispatch))

     let*-error
     (assign val (const let*-syntax-error))
     (goto (label signal-error))

     ev-letrec
     (assign exp (op letrec->let) (reg exp))
     (goto (label eval-dispatch))

     ev-assignment
     (test (op assignment-error?) (reg exp) (reg env))
     (branch (label assignment-error))
     (assign unev (op assignment-variable) (reg exp))
     (save unev)                        ;後のために変数を退避
     (assign exp (op assignment-value) (reg exp))
     (save env)
     (save continue)
     (assign continue (label ev-assignment-1))
     (goto (label eval-dispatch))       ;代入する値を評価

     ev-assignment-1
     (restore continue)
     (restore env)
     (restore unev)
     (perform
      (op set-variable-value!) (reg unev) (reg val) (reg env))
     (assign val (const ok))
     (goto (reg continue))

     assignment-error
     (assign val (const set!-syntax-error))
     (goto (label signal-error))

     ev-definition
     (test (op definition-error?) (reg exp))
     (branch (label definition-error))
     (assign unev (op definition-variable) (reg exp))
     (save unev)                        ;後のために変数を退避
     (assign exp (op definition-value) (reg exp))
     (save env)
     (save continue)
     (assign continue (label ev-definition-1))
     (goto (label eval-dispatch))       ;定義する値を評価

     ev-definition-1
     (restore continue)
     (restore env)
     (restore unev)
     (perform
      (op define-variable!) (reg unev) (reg val) (reg env))
     (assign val (const ok))
     (goto (reg continue))

     definition-error
     (assign val (const definition-syntax-error))
     (goto (label signal-error))

     print-result
     (perform
      (op print-stack-statistics))
     (perform
      (op announce-output) (const ";;; EC-Eval value:"))
     (perform (op user-print) (reg val))
     (goto (label read-eval-print-loop))

     unknown-expression-type
     (assign val (const unknown-expression-type-error))
     (goto (label signal-error))

     unknown-procedure-type
     (restore continue)                 ;スタックを掃除する
     (assign val (const unknown-procedure-type-error))
     (goto (label signal-error))

     signal-error
     (perform (op user-print) (reg val))
     (goto (label read-eval-print-loop))
     )))