http://www.leafpetersen.com/leaf/publications/icfp2013/vectorization-haskell.pdf, http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf - это то, что делается со стороны интела. Было еще достаточно много статей со стороны MS Research, которые являются одними из главных пильщиков хаскеля. И они активно втягивают наработки как в F# так и в остальные свои платформы...
насчет обработки изображений - посмотрите на OCaml - он очень быстрый, не такой запутанный как Хаскель. У меня в фирме знакомого его используют для писания loadable modules вместо C - поскольку система типов часто отлавливает много багов на этапе компиляции... http://www.ffconsultancy.com/languages/ray_tracer/comparison.html
вот немного ссылок на производительность веб-серверов и т.п. http://maxim.livejournal.com/392971.html, http://maxim.livejournal.com/392358.html, http://www.yesodweb.com/blog/2011/03/preliminary-warp-cross-language-benchmarks
P.S. я не говорю что какой-то язык являтся панацеей, но надо смотреть на разные и пытаться использовать комбинации языков, каждый из которых силен в своей области