Movatterモバイル変換


[0]ホーム

URL:


Bangumi 番组计划
登录注册

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


2022-6-6 17:22 /
咪啪咪啪咪 —— 在一个故事里的咒语在另一个中就不灵了,这不好

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

(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





#1 - 2022-6-6 17:37
躺平F8(心似重负疲乏极, 仗剑出行走千里。 天涯海角求自在, 风)
咪啪咪啪咪@咪啪~
#2 - 2022-6-7 11:46
© 2008-2024 Bangumi (a.k.a.Chobits), some rights reserved | r543
注册时我很沉默

[8]ページ先頭

©2009-2025 Movatter.jp