王垠 java,王垠，40行代码，JAVA吧的大神怎么评论?

该楼层疑似违规已被系统折叠 隐藏此楼查看此楼

(load "pmatch.scm")

(define cps

(lambda (exp)

(letrec

([trivial? (lambda (x) (memq x '(zero? add1 sub1)))]

[id (lambda (v) v)]

[ctx0 (lambda (v) `(k ,v))] ; tail context

[fv (let ([n -1])

(lambda ()

(set! n (+ 1 n))

(string->symbol (string-append "v" (number->string n)))))]

[cps1

(lambda (exp ctx)

(pmatch exp

[,x (guard (not (pair? x))) (ctx x)]

[(if ,test ,conseq ,alt)

(cps1 test

(lambda (t)

(cond [(memq ctx (list ctx0 id)) `(if ,t ,(cps1 conseq ctx) ,(cps1 alt ctx))]

[else

(let ([u (fv)])

`(let ([k (lambda (,u) ,(ctx u))])

(if ,t ,(cps1 conseq ctx0) ,(cps1 alt ctx0))))])))]

[(lambda (,x) ,body)

(ctx `(lambda (,x k) ,(cps1 body ctx0)))]

[(,op ,a ,b)

(cps1 a (lambda (v1)

(cps1 b (lambda (v2)

(ctx `(,op ,v1 ,v2))))))]

[(,rator ,rand)

(cps1 rator

(lambda (r)

(cps1 rand

(lambda (d)

(cond

[(trivial? r) (ctx `(,r ,d))]

[(eq? ctx ctx0) `(,r ,d k)] ; tail call

[else

(let ([u (fv)])

`(,r ,d (lambda (,u) ,(ctx u))))])))))]))])

(cps1 exp id))))