Inter: Por qué ciertos lenguajes

Explico sucintamente aquí por qué trabajo con algunos lenguajes en particular:

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>>.