Programación Funcional timeline.

Haskell se basa en el cálculo lambda (lenguaje formal para la investigación de funciones), por lo que el logotipo del lenguaje contiene el símbolo de esta letra griega.

R es un entorno y lenguaje de programación con un enfoque al análisis estadístico. Se trata de uno de los lenguajes de programación más utilizados en investigación científica, siendo además muy popular en los campos de aprendizaje automático (machine learning), minería de datos, investigación biomédica, bioinformática y matemáticas financieras.

OCaml es un lenguaje de programación de propósito general, multiparadigma, que permite funcionalidades orientadas a objetos. Fue creado en 1996. Tiene como funciones un sistema de tipo estático, tipos de inferencias, polimorfismo paramétrico, recursión, módulos paramétricos, manejo de excepciones.

Es un lenguaje de programación de propósito general, que soporta la programación orientada a objetos y programación funcional. Dentro de sus funcionalidades adicionales a las anteriores, tiene la carga de clases dinámicas.

F# Es un lenguaje de programación de propósito general, de multiparadigma y contiene métodos orientados a objetos. Sus funciones consisten en: Todo lo escrito es una expresión, tiene tipos de inferencia, funciones anidadas, tuplas (tablas), tipos de datos algebráicos.

Clojure es un lenguaje de programación de propósito general dialecto de Lisp. Tiene el objetivo (entre otros) de eliminar la complejidad asociada a la programación concurrente. Representación de funciones como valores. Números de precisión arbitraria, y representación literal de fracciones. Secuencias con evaluación perezosa (los elementos de la secuencia no se computan hasta que son necesarios). Sistema integrado de estructuras de datos persistentes e inmutables. Control del estado.