Kマシンでプリミティブとコンスタントを扱う方法

K-Compiler.scm

;((-> (a b (** + a b))) 5 6)
(
  (,CLOSURE ((,STOP))) 
  (,CLOSURE (
    (,GRAB a) 
    (,GRAB b) 
    (,CLOSURE ((,PRIMITIVE +) (,CONTINUE))) 
    (,ACCESS a) 
    (,ACCESS b))) 
  (,DEFINE +) 
  (,CLOSURE ((,CONSTANT 5) (,CONTINUE))) 
  (,CLOSURE ((,CONSTANT 6) (,CONTINUE))) 
  (,ACCESS +) 
  (,CONTINUE)
)


;(
;  (:= (+ a b) (** + a b))
;  (:= (x) 7)
;  (+ x 6)
;)
(
  (,CLOSURE ((,STOP))) 
  (,CLOSURE (
    (,GRAB a) 
    (,GRAB b) 
    (,CLOSURE ((,PRIMITIVE +) (,CONTINUE))) 
    (,ACCESS a) 
    (,ACCESS b) 
    (,CONTINUE))) 
  (,DEFINE +) 
  (,CLOSURE ((,CONSTANT 7) (,CONTINUE))) 
  (,DEFINE x) 
  (,CLOSURE ((,ACCESS x) (,CONTINUE))) 
  (,CLOSURE ((,CONSTANT 6) (,CONTINUE))) 
  (,ACCESS +) 
  (,CONTINUE)
)

Krivine-Constant-Primitive.scm

((-> (x) (+ x 2)) 5)

(
  (CLOSURE ((HALT)))
  (CLOSURE (
    (GRAB)
    (PRIM +)
    (ACCESS 0)
    (CONTINUE)))
  (DEFINE plus)
  (LABEL (
    (CONSTANT 5)
    (CONTINUE)))
  (GRAB)
  (CONSTANT 2)
  (ACCESS plus)
  (ACCESS 0)
  (CONTINUE)
)

HALTは定数用スタックのcarを返して終了

クロージャを値として使えるようにするのがむずい