-
el calculo lambda
El calculo lambda, es un sistema formal diseñado para investigar la definición de función, donde la noción de aplicación de funciones y la recursión, fue introducido por ALONSO CHURCH Y STEPHEN KLEENE. -
Period: to
Programacion funcional
Es un paradigma de programación declarativa basado en el uso de funciones matemáticas, el cual tiene raíces en el calculo de lambda, sistema formal de desarrollo que empezó en los años 30. -
función computable
CHURCH uso el calculo de lambda para resolver la “función computable”. -
Estado de programas y sentencias
Estado de programas y sentencias como FORTRAN, CBOL,BASIC,ADA Y PASCAL -
List-Processing
Lisp, (List-Processing), creado por John McCarthy Marvin Minsky, fue creado principalmente para el procesamiento de listas. Es un lenguaje funcional que se apoya en la utilización de funciones matemáticas para el control de los datos, basada en el calculo lambda de ALONZO CHURCH -
lenguaje de propósito general
ML, Metalenguaje , lenguaje de propósito general , desarrollado por ROBIN MILNER y otros afínales de los años 70 en la universidad Edimburgo. -
MIRANDA
Se puede decir que la programación se afianza a mediados de los años 80 , este paradigma también surge con la aparición de MIRANDA desarrollado por DAVID TURNER Y HASKELL. -
ERLANG
ERLANG, Fue diseñado por ERICSON ,este lenguaje de programación utilizado para construir sistemas de tiempo real en tiempo real masivos y escalables con requisitos de alta disponibilidad. Algunos de sus usos son en telecomunicaciones, banca, comercio electrónico, telefonía informática y mensajería instantánea. El sistema de ejecución de Erlang tiene soporte incorporado para la concurrencia, distribución y tolerancia a fallas. -
HASKELL
HASKELL ,Lenguaje de programación estandarizado multi-propósito puramente funcional con emanticas estricticas y fuerte tipificación estática, su nombre se debe al lógico estadunidense HASKELL CURRY, debido a su aportación al calculo lambda, el cual tiene gran influencia en el lenguaje. -
HASKELL PRIMERA
- Tipado estricto
- Evaluación Perezosa
- Tipos de orden Superior
- Puramente Funcional
-
SCALA
SCALA, creado por Martin Odersky es un lenguaje orientada a objetos corre sobre la JVM y también en JS, el lenguaje del big data, spark, flink, samza,Kafka. -
F # (F Sharp)
Lenguaje de Programación F Sharp (F#, pronunciado F Sharp). Es un lenguaje de programación multiparadigma para la plataforma .NET, que incluye la programación funcional y las disciplinas imperativa y orientada a objetos, fue creado por Microsoft Research. -
Clojure
Clojure es un lenguaje de programación dinámico, de propósito general, que combina la accesibilidad y el desarrollo interactivo de un lenguaje de scripting con una infraestructura eficiente y robusta para la programación multiproceso. Clojure es un dialecto de Lisp y comparte con Lisp la filosofía del código como datos y un potente sistema de macros. fue creado por RICH HICKEY, diseñado para corregir plataformas y funciona en programas como CLR, JVM, JAVASCRIPT CLOJURE -
Actualmente
Actualmente la programación funcional es mas popular en el ámbito académico que en el industrial , pero sin embargo se han venido usando L.P.F en sistemas comerciales o industriales.
