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)
)

LABELはCLOSUREの別名
CONSTANTは定数用スタックに値を積む命令
PRIMは定数用スタックから引数を拾って計算結果を定数用スタックに積む
DEFINEはグローバルなハッシュテーブルにスタックの値を保存しとく

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

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