[compsystems]

HOLA, tengo un nuevo reto aprender un lenguaje de programación 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.

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 dice 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 programa o plan de estudios

Enlaces

https://es.wikipedia.org/wiki/Programaci%C3%B3n_declarativa
http://www.lcc.uma.es/~pepeg/pfHaskell/index.html
https://es.scribd.com/doc/316054669/Piensa-en-Haskell
https://es.wikipedia.org/wiki/Haskell

Lo importante de HASKELL es que su notación es la mas cercana a la matemáticas, que no ocurre con los lenguajes estándares como C, C++, JAVA etc

[sugata]

Hace bastantes años de esto, pero creo recordar que era lo que estudiábamos en Informática en Primero en la Universidad Complutense de Madrid.
Pero no estoy seguro.