4 ms·
Anyone knows if lambda calculus can be done with the standard function notation, or with something closer to that? I understand that lambda calculus works with
by bmacho 3y ago
Anyone knows if lambda calculus can be done with the standard function notation, or with something closer to that? I understand that lambda calculus works with expressions and symbols, while standard function notation works with functions and values, still using the same notation seems natural to me, x -> e for lambda, and e(x) for application. I haven't worked it out, but I wonder what will I get if I do it?
- consilient 3y ago> I understand that lambda calculus works with expressions and symbols, while standard function notation works with functions and values There's no inherent connection. You're perfectly free to interpret lambda terms as functions on a domain, or function definitions as abstract rewrite rules.