1641093 Alejandro Iruegas Ruiz Act#8

Act #8 Lenguajes funcionales

Cules son las caractersticas de los lenguajes funcionales?

Los lenguajes funcionales se basan en la declaracin de funciones aritmticas, trata de ser un

lenguaje expresivo y matemticamente elegante.

Los programas escritos en lenguajes funcionales estn compuestos nicamente por la definicin
de funciones, pero no se trata de subrutinas de un programa iterativo, sino ms bien como
funciones puramente matemticas.

Los lenguajes funcionales son: Haskell, Miranda, R, Lisp, Scala, Scheme, ML, Erlang entre otros.

LENGUAJE CARACTERISTICAS CODIGO

HASKELL Incluye muchas de las ltimas
innovaciones en el desarrollo de los cuad1 ::Integer->Integer->String
cuad1 a 0=""
lenguajes de programacin funcional, cuad1 a n=show(a*a)++" "++cuad1
como son las funciones de orden (a+1) (n-1)
superior, evaluacin perezosa, tipos cuad ::Integer->String
polimrficos estticos, tipos definidos cuad n=(cuad1 1 n)
por el usuario, encaje por patrones, y
definiciones de listas.
Es un lenguaje funcional y de -module(geom).
programacin concurrente, fue -export([circulo/1]).
diseado por la compaa Ericsson con -export([cuadrado/1]).
el propsito de hacer aplicaciones que -export([rectangulo/2]).
puedan soportar fallos, -export([triangulo/3]).
funcionamiento ininterrumpido,
aplicaciones distribuidas, entre otras circulo(R) ->
ERLANG cosas. 2*R*3.1416.
Tiene una caracterstica muy
importante "el cambio de cdigo en cuadrado(L) ->
caliente" el cual se refiere a poder L*4.
modificar el cdigo aun cuando la
aplicacin esta corriendo. Erlang no rectangulo(A,B) ->
segua la filosofa de cdigo abierto 2*A+2*B.
hasta 1998 cuando Ericsson lo cedi
como tal. triangulo(A,B,C) ->
A+B+C.
Lisp es un lenguaje tipo funcional, es (defun sum (x) ;calcula la suma de una
el segundo lenguaje de alto nivel ms lista x
viejo, los dialectos de Lisp ms (cond ((null x) O)
((atom x) x)
 1641093 Alejandro Iruegas Ruiz Act#8

ampliamente conocidos son el Scheme (t (+ (car x) (sum (cdr x)]

y Common Lisp. (defun cont (x) ; cuenta el nmero de
El nombre Lisp viene de "LISt valores de x
Processing" (Proceso de LIStas). Una (cond ((null x) O)
de las estructuras de datos importante ((atom x) 1)
LISP
de Lisp son las listas encadenadas, el (t (addl (cont (cdr x)]
cdigo fuente de lisp est compuesto (defun media () ; el programa principal
de listas. comienza aqu
Es un lenguaje til para desarrollar la (print 'introducir la lista a promediar')
inteligencia artificial. (setq x (read))
(setq n (count x))
(setq med (/ (sum x) n))
(princ "la media es = ` `)
(print med)]

Es un lenguaje de programacin
funcional y dialecto de Lisp fue creado
por Guy L. Steele y Gerald Jay Sussman
en los aos 70's. La filosofa de
Scheme es minimista, es decir, solo (display "Hola elige alguna funcin")
contiene lo esencial quitando los (display "Raiz, suma, cuadrado, potencia
elementos sobrantes. o resta")
Fue el primer dialecto en Lisp, (define(raiz X)(sqrt X))
tambin fue uno de los primeros (define(cuadrado X)(* X X))
SCHEME lenguajes de programacin con (define(suma X Y)(+ X Y))
continuaciones explicitas, y tiene (define(potencia X Y)(expt X Y))
tambin gestin automtica de (define(resta X Y)(- X Y))
memoria igual que Erlang a esto se le
llama recoleccin de basura con esto
se quiere decir que es un mecanismo
implcito de gestin de memoria(me
gustara hablar de ello en mi siguiente
entrada).
La estructura bsica del lenguaje son
las listas.

BIBLIOGRAFIA
http://ceciliaurbina.blogspot.mx/2010/11/scheme.html

https://www.ecured.cu/LISP

http://ceciliaurbina.blogspot.mx/2010/10/erlang.html