Hi Veejay, I do not know for how long or just how intensely you have been in contact with the "academia" so far, but let me tell you this: however much a certain solution is promoted in academic circles has close to nothing to do with how useful it actually is to general (programming) society.
The average academic bases his assumptions of what makes a language "good" or "bad" on 6-12 months of internship at a medium sized company (preferably in a mgmt/assistant position), some tutorials he went through and 5 years of theorizing with a professor who did his last serious programming work back in the 1980s. Granted, this approach sometimes yields exciting innovations that might someday be adopted by real world applications. But this does and will not make Haskell and OCaml appropriate for the other 95% of problems developers have to solve.