No one is suggesting programming with lambda calculus. But it would be naïve to think lambda calculus isn't important. They serve different purposes. We didn't

No one is suggesting programming with lambda calculus. But it would be naïve to think lambda calculus isn't important. They serve different purposes. We didn't: bring up the Strong Church-Turing Thesis in discussions of programming languages meant for use by humans.