xieyuheng
V2EX  ›  数学

一个 Lambda 演算的实现

  •  
  •   xieyuheng · Mar 21, 2022 · 1967 views
    This topic created in 1577 days ago, the information mentioned may be changed or developed.

    项目仓库:https://github.com/cicada-lang/lambda

    例子:

    (define (true t f) t)
    (define (false t f) f)
    
    (define (if p t f) (p t f))
    
    (define (and x y) (if x y false))
    (define (or x y) (if x true y))
    (define (not x) (if x false true))
    
    (and true false)
    (not (not (or true false)))
    
    No Comments Yet
    About   ·   Help   ·   Advertise   ·   Blog   ·   API   ·   FAQ   ·   Solana   ·   5319 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 27ms · UTC 01:25 · PVG 09:25 · LAX 18:25 · JFK 21:25
    ♥ Do have faith in what you're doing.