a) Prolog. Las bases lógicas de este lenguaje, su delicado equilibrio entre teoría y práctica, y sus
aplicaciones a la inteligencia artificial, a deducciones y reescritura de términos hacen para mí
de Prolog una herramienta ideal en la investigación de la inteligencia humana y sus repercusiones
en el razonamiento.
b) Haskell. Haskell tiene entre sus virtudes una definición de su semántica completa en un 100%,
con un concepto anexo de mónadas para el tratamiento de características "extra-formales"; la
sistemática utilización de funciones, dominios y codominios (tipos), y su cercanía con el área de
matemática de Teoría de categorías hacen de este lenguaje un auténtico paraiso computacional
con muchas posibilidades aún por explorar.
c) Erlang. Erlang es un lenguaje nacido para tratar con sistemas distribuidos. Erlang, como Prolog
y Haskell, es también de propósito general, con ello implicando que, al dominar este lenguaje,
seremos capaces de crear nuestros propios programas para resolver problemas específicos, sobre
todo aquellos relacionados con sistemas distribuidos y cómputo distribuido, dos temas fascinantes
de actualidad.
d) Scheme. Scheme es la versión previa a Haskell, ambos fundamentos teóricamente en el Cálculo
Lambda. Es una elección natural para los perversos quienes gustamos de pensarnos entre paréntesis.
e) Python. Python es la única elección imperativa que tengo. Tiene lo suficiente de clases para
propósitos de tipos (con herencia simple, sobrecarga de operadores), contiene una buena cantidad
de construcciones de alto nivel (listas compactas) y de "funciones" de alto orden. Es una elección
directa para propósitos de enseñanza y transición entre otros lenguajes imperativos y nuevas
tendencias.
Ojo: Hay <<miles>> de lenguajes de programación (ok, pongamos, cientos): los lenguajes previos son
representativos de la lógica, las funciones, y el punto de vista pragmático de solventar con prontitud y
eficiencia (además de corrección) la resolución de problemas <<reales>>.
