Hacker News Reader

I am not sure OCaml has gained any traction lately. The only paradox of OCaml is why people use it~

Jane St likes it because of the rock-solid type system, but they've been eyeing Haskell compiled with -Wall for the same reasons.

I think these guys use O'Caml as well: http://skydeck.com/