xieyuheng
V2EX  ›  数学

一个 Lambda 演算的实现

  •  
  •   xieyuheng · Mar 21, 2022 · 1982 views
    This topic created in 1584 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   ·   1573 Online   Highest 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 128ms · UTC 16:35 · PVG 00:35 · LAX 09:35 · JFK 12:35
    ♥ Do have faith in what you're doing.