Vladimir_Nesov comments on The problem of pseudofriendliness

[Vladimir_Nesov]

And my point is that as soon as you try to actually use lambda calculus for anything, even abstract mathematics, you find you have enough issues to deal with to completely kill off the notion that a full scale system can work first time with only small-scale testing.

I’m sorry, the meaning of your words eludes me. If anyone else sees it, raise your hand.