News for hackers. Stuff that matters.

A comment on Minimalism in programming language design. Parent comment

Re:Minimalism in programming language design by ackfoobar on Tuesday May 24, 2022 @06:34AM (#31490251)
> pure lambdas

Also, in lambda calcalus there is no recursion built-in. You have to build it yourself with the Y combinator.

[ Parent | on HN ]
Re:Minimalism in programming language design by tromp on Tuesday May 24, 2022 @07:27AM (#31490642)
Right; you just add definitions you need like

let Y = \f. (\x. x x) (\x. f (x x)) in program-using-Y

which is the slightly more legible version of

(\Y. program-using-Y) (\f. (\x. x x) (\x. f (x x))

[ Parent | on HN ]