Re:Tree Calculus
by lolinder on Tuesday December 10, 2024 @01:53PM
(#42380046)
I'm skeptical that we'd feel that way if Church didn't come first. His work defined the field and shaped the way we all think about programming in profound ways that make it very difficult to distinguish how natural one is over the other.
[ Parent
| on HN ]
Re:Tree Calculus
by justinpombrio on Tuesday December 10, 2024 @02:59PM
(#42380770)
Maybe for some people. Personally I find the concatenative calculus more natural to think about/in than the lambda calculus!
Turing published the same year as Church, couple of months later. Church's advantage was very small.
Turing machine includes write over some place, thus it models a calculating man with infinite paper, infinite pencil and infinite eraser. Lambda calculus models calculating man with infinite paper and infinite pencil. Lambda calculus has very substantial advantage here.