[grndn]

And for those interested in a FP-oriented (rather than OO) approach to cap-based security, here's a post on using it as a tool to enforce good design: http://fsharpforfunandprofit.com/posts/capability-based-secu...

[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.