[kentonv]

FWIW, I've never been able to figure out why people consider FP and OOP to be opposing. They seem orthogonal to me, and I've written a lot of code I'd consider to be OOP in pure-FP languages... so I think there's a subtle mismatch between what I consider OOP and what everyone else thinks, but I haven't quite been able to identify what that difference is. :)

[abecedarius]

Have you seen http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf? It includes the great line "the untyped lambda calculus was the first OO language", something I'd noticed myself -- I won't say independently, since both the author and I were on the cap-talk list (or maybe it was e-lang) back in the day.