Lenguajes funcionales

Solo disponible en BuenasTareas
  • Páginas : 3 (547 palabras )
  • Descarga(s) : 0
  • Publicado : 29 de marzo de 2011
Leer documento completo
Vista previa del texto
 
 
 
 
 
 
 
 
 
 


 
 

 


 

Lenguajes
 Funcionales
 
 
Cuales
 son
 las
 características
 de
 los lenguajes
 funcionales?
  Los programas escritos en un lenguaje funcional están constituidos únicamente por definiciones de funciones, entendiendo éstas no como subprogramas clásicos de un lenguajeimperativo, sino como funciones puramente matemáticas, en las que se verifican ciertas propiedades como la transparencia referencial (el significado de una expresión depende únicamente del significadode sus subexpresiones), y por tanto, la carencia total de efectos laterales. Otras características propias de estos lenguajes son la no existencia de asignaciones de variables y la falta deconstrucciones estructuradas como la secuencia o la iteración (lo que obliga en la práctica a que todas las repeticiones de instrucciones se lleven a cabo por medio de funciones recursivas). Existen dosgrandes categorías de lenguajes funcionales: los funcionales puros y los híbridos. La diferencia entre ambos estriba en que los lenguajes funcionales híbridos son menos dogmáticos que los puros, al admitirconceptos tomados de los lenguajes imperativos, como las secuencias de instrucciones o la asignación de variables. En contraste, los lenguajes funcionales puros tienen una mayor potencia expresiva,conservando a la vez su transparencia referencial, algo que no se cumple siempre con un lenguaje funcional híbrido.

Lenguaje

Caracteristicas

Codigo-Ejemplo

Haskell

El tipo Bool Losvalores con este tipo representan expresiones lógicas cuyo resultado puede ser True o False.

Funciones y operadores ▪ (&&) :: Bool -> Bool -> Bool. Conjunción lógica. ▪ (||) :: Bool -> Bool -> Bool.Disyunción lógica. ▪ not :: Bool -> Bool. Negación lógica. otherwise :: Bool. Función constante que devuelve el valor True.

Erlang

Lisp

La mayor fortaleza de Erlang es el soporte para...
tracking img