You've already narrowed down your choices very quickly here.
Open source, static typed & fully object-oriented too.
Should be rather popular, i.e. has real-world applications in industry.
Popular leaves us with the big ones, Clojure, Lisp, Haskell, ML, Erlang. I might be missing a few here, but those are most of the big ones.
Static typing removes most of those, basically leaving you with Haskell, and ML.
Haskell isn't object oriented, and doesn't really support that manner of programming, and neither is most variants of ML afaik.
That basically leaves you with OCaml, however It's unclear to me how their web framework is. It probably exists, but I doubt it would compare to RoR or whatever. You are capable of rolling your own however.
Edit: F# may also fit the bill, it's very similar to OCaml, and runs on the .net platform.