4 ms·
Nice article! But you have a typo. (λx.x y) does not return y, though (\x.x) y does.
by dogfishbar 10y ago
Nice article! But you have a typo.
(λx.x y)
does not return y, though
(\x.x) y
does.
- jtolds 10y agoThere's an aside about how I've chosen precedence. The way I've defined operator precedence and binding, (\x.x) y is not a valid expression (parentheses only mean function application), and (λx.x y) returns y. You can argue I defined things wrong, but it is all in how you define things.