RAZONANDO CON HASKELL, lenguaje con el paradigma de programación declarativa

[CompSystems]

HOLA, tengo un nuevo reto, aprender un lenguaje con el paradigma de programación declarativa, el mundo gira entorno a la programación imperativa, por costumbre, pero hay otro lado de la luna (el lado oscuro) que sería interesante explorar.

https://es.wikipedia.org/wiki/Programaci%C3%B3n_declarativa

El más completo lenguaje declarativo según el mejor libro de programación declarativa en español (RAZONANDO CON HASKELL) dice que es HASKELL. además menciona que en España se dictan asignaturas con este lenguaje, ¿conocen algún caso en su país? En mi caso no he visto universidades en Colombia que lo incluyan en su plan de estudios.

info de HASKELL https://es.wikipedia.org/wiki/Haskell
¿Quién de vosotros ha programado en este lenguaje? 

Un pdf de ejemplos y enlaces importantes
http://www.cs.us.es/~jalonso/publicaciones/Piensa_en_Haskell.pdf
http://www.lcc.uma.es/~pepeg/pfHaskell/index.html
https://es.scribd.com/doc/316054669/Piensa-en-Haskell


He leído que c++ esta incluyendo la programación funcional en las versiones c++11/14/17, pero que tanto se acerca a haskell?