Yes. But if nothing else is said, I expect people to talk about the standard Haskell 98.

C++'s type system is isomorph to lambda calculus even without extensions, and nobody made this joke there.