A lambda implementation

bediger4000 / python_cons_car_cdr

Programming job interview question, lisp-style CONS, CAR, CDR functions

0 stars 0 forks source link

A lambda implementation #1

Closed ChengranAA closed 3 months ago

ChengranAA commented 3 months ago

# combinators
K = lambda a: lambda b : a
KI = lambda a: lambda b: b

CONS = lambda a, b: lambda f: f(a, b)
CAR = lambda p: p(lambda a, b: K(a)(b)) 
CDR = lambda p: p(lambda a, b: KI(a)(b))

bediger4000 commented 3 months ago

Looks too much like the dreaded Lambda Calculus (https://github.com/bediger4000/lambda-calculator)

Python is supposed to be executable pseudo-code, right? People who write pseudo-code are scared of lambda calculus