Haskell作为一门研究型语言，在工业上的应用确实不多。不过在教学以及研究方面还是有大量利用的。很多针对类型系统/静态分析以及程序改写/运行时系统等方面的试验都很适合在Haskell上实现。

在工业上，Haskell的缺点非常明显：学习难度高，运行效率不可靠，各种库良莠不齐，商业化的支持少。但是，优点也是有的：代码中出现bug的几率低，模块性强，可以达到很高的运行效率，并行和分布式计算支持良好。

我想问问国内的大学有在课程和研究中涉及到这门语言的吗？国内有公司在使用这门语言在其产品上的吗？