Lenguajes funcionales

Lenguaje R
Fue desarrollado por Robert Gentleman en 1993.
Este lenguaje es de gnero matemtico, su funcin es para
el anlisis estadstico y grafico (recoleccin, anlisis e interpretacin de datos
para ayudar a la resolucin de una toma de decisiones).
Es uno de los lenguajes ms utilizado en la investigacin estadstica, popular en
la investigacin biomdica y matemticas financieras.
Lo podemos encontrar en multiples plataformas como Linux y Mac.
Existen libreras para integrarse con lenguajes interpretados como Perl y Python.
R tambin permite su propio formato para la documentacin en LaTeX. Tambin
lo podemos utilizar como calculo numrico.

Lisp
 Su principal funcin es el proceso de listas, de ah su nombre list processing.
Es un grupo de lenguajes de programacin funcional, todo est entre
parntesis.
Originalmente hecho en 1958 por John McCarthy, basado en el calculo lambda,
es uno de los lenguajes que se utiliza para la inteligencia artificial, pionero en
estructuras de datos de arboles, y manejo de almacenamiento automatico,
entre otros.
Las listas encadenadas son la estructura de datos mas importante de este
lenguaje.

Dialectos de este lenguaje:

Scheme
Multiparadigma, apareci en la dcada de los 70's diseado por Guy L. Steele
es utilizado para principiantes con fines educativos.

Emacs LISP
Se usa en el editor que utilizamos en clase Emacs, algunas veces lo podemos
encontrar como Elisp, sirve para aquellos programadores que deseen extender
y personalizar emacs.

ML estndar
Algunas veces llamado SML es un lenguaje funcional, multiparadigma,
funcional e imperativo, que esta influido por ML, siendo este mas moderno, es
utilizado para la logica de funciones computables (sistema de teoremas
automatizadas desarrollada por Robin Milner, mismo que introdujo la
programacin ML que prueba los teoremas matemticos en un programa de
computadora.) Con este lenguaje se escriben programas con expresiones a
evaluar.
 Haskell
Es un lenguaje de funcional diseado por la Simon Peyton, en los aos 90's, se
incluyen tipos de datos, funciones recursivas, listas, etc...
Sus principales caracterstica es la Lazy evaluation(tcnica de retrasar un
calculo hasta que el resultado se requiera) Pattern matching (es comprobar la
secuencia de tokens en presencia de los componentes de algunos patrones),
y List comprehensions( sintctica crear listas basadas en listas existentes. )

Erlang
Es un lenguaje multiplataforma: concurrente (simultaneidad en la ejecucin de
tareas mltiples) y funcional, diseado por Ericsson en 1986, tiene como
objetivo 3 cosas.
Fue diseado para mejorar las aplicaciones de la telefona, implementado
inicialmente en Prolog.