Без заголовка

h-t-t-p-s://github.com/languages/Haskell - 17 по счёту. Совсем не мало программируют. h-t-t-p://sogrady-media.redmonk.com/sogrady/files/2012/09/language-ranking-0912.png - ровно на оси вопросов и количества проектов. Про Matlab и R больше говорят. То, что делает justy_tylor, я бы сделал EDSL на Хаскеле. Зачем ещё один язык? И типы хорошие, и производительность неплохая (уж параллельная так вообще великолепна), и код генерировать удобно. Нововведения обязательно попадут в руки творцов и будут использованы. Сейчас используются фантомные типы, что не так удобно. В заключение укажу на ваш промах в ваших рассуждениях - вы рассуждаете о массовой практике программирования вообще, когда я указываю на практику программирования на Хаскеле. Так же, как приёмы программирования на C# не будут массовой практикой программирования на Хаскеле.