阿猫✅官方认证♀ » 日志
阿猫追星记 之 咪啪宇宙

咪啪咪啪咪 —— 在一个故事里的咒语在另一个中就不灵了,这不好

;;;;;;;;;;;;;;;;;;;;;;;;;;;

(define actions (咪啪咪))
(define (咪啪 符号 语义)
    (if (null? 符号) #t
        (if (eval (car 符号) 语义) (咪啪与 (cdr 符号) 语义) #f)))
(define (咪啪或 符号 语义)
    (if (null? 符号) #f
        (if (eval (car 符号) 语义) #t (咪啪或 (cdr 符号) 语义))))
(define (咪啪与-2 符号 语义) ;;(if (a) (if (b) #t #f) #f)
    (if (null? 符号) '#t
        (make-if (car 符号) (咪啪与-2 (cdr 符号)) '#f)))
(define (咪啪或-2 符号 语义) ;;(if (a) #t (if (b) #t #f))
    (if (null? 符号) '#f
        (make-if (car 符号) '#t (咪啪或 (cdr 符号)))))

(咪啪咪! actions '咪啪与 (lambda (语义 . 符号) (咪啪与 符号 语义)))
(咪啪咪! actions '咪啪或 (lambda (语义 . 符号) (咪啪或 符号 语义)))


;;;;;;;;;;;;;;;;;;;;;;;;;;;


我也想码一个完整的图灵机 b38