3 ms·
what perent of programmers actually even use the lambda calculus?
by tekniiq 14y ago
what perent of programmers actually even use the lambda calculus?
- fragsworth 14y agoDirectly? Not many... Indirectly, because their language supports features that came about as a result of this? Almost everyone. It's kind of like asking what percentage of programmers use binary arithmetic.
- mahmud 14y ago100%. The lambda calculus forms the backbone of most theories of programming languages. Functional programmers use enriched forms of it directly, but all others, at least the useful ones, do make use of lambda-calculus techniques. The LC demarcates the border between high and low-level languages. High-level programming languages have reducible expressions, low-level ones are flat. HLPLs have notion of heirarchical variable scope, within which some variables are "bound" while others are "free" and escape to a parent environment; while LLPLs often have a flat dictionary of variables, if at all. The lambda-calculus can also be higher-level than mainstream languages. Most PLs treat functions with identical bodies as different, due to name/pointer inequality. In the LC, two forms are equal if they reduce to the same basic form, and names of bound variables are insignificant.
- warfangle 14y agoAny sufficiently advanced C program has redefined LISP poorly; any sufficiently advanced LISP program has redefined C poorly. I can't recall where I first read this conjecture (booze; mobile).