> Isn't every existing programming language eventually based on (or at least traceable to) lambda calculus?
Not really. FP has an obvious connection to lambda calculus. Many OOP languages don't even have a straightforward notion of "function", which is what lambda calculus is all about.