asdasd

Profesor Ing. Johel Gómez

INVESTIGACIÓN Nº 1 - Lapso 2

Forma de entrega:
En pareja máximo
Debe ser Transcrito a Mano, puede utilizar lápiz o bolígrafo (escribir de manera legible, la tarea debe tener las letras de los dos (2) participantes), se recomienda que se dividan la cantidad de páginas a escribir.
En hoja tamaño carta preferiblemente sin carpeta o carpeta de manila
ColocarPortada Identificándola con el Nombre, Cédula y la Sección a la que pertenecen, además debe colocar el título:
“Tarea 1 Lapso 2 – Paradigma Funcional”
Colocar Introducción y Conclusión (1 página cada una)
No colocar hoja en blanco al principio, tampoco Índice
Fecha de entrega: 16/11/2012
25% menos al que no entregue a la fecha
El informe de poseer mínimo 3 hojas y máximo 5 hojas de desarrollo(aparte de introducción y conclusión)

Puntos: Paradigma Funcional:
1. Definir y Explicar:
a) Paradigma funcional (Principales Lenguajes que lo utilizan)
b) Programación Funcional.
c) Tipos de datos, inferencia de tipos
d) Recursión
e) Polimorfismo
f) Evaluación impaciente y perezosa
g) Orden superior










Definición del paradigma funcional

En un sentido estricto, laprogramación funcional define un programa como una función matemática que convierte unas entradas en unas salidas, sin ningún estado interno y ningún efecto lateral.

programación funcional es un paradigma de programación declarativa basado en la utilización de funciones aritméticas que no maneja datos mutables o de estado. Enfatiza la aplicación de funciones, en contraste con el estilo deprogramación imperativa, que enfatiza los cambios de estado. La programación funcional tiene sus raíces en el cálculo lambda, un sistema formal desarrollado en los 1930s para investigar la definición de función, la aplicación de las funciones y la recursión. Muchos lenguajes de programación funcionales pueden ser vistos como elaboraciones del cálculo lambda.

Tipos de datos, tuplas y listas
Loslenguajes funcionales, en particular Haskell, tienen un rico
conjunto de datos atómicos predefinidos, tales como los numéricos int,
integer (de mayor precisión que el anterior), float, double, etc., y
además los tipos char y bool.
El sistema de tipos de Haskell es uno de los más sofisticados que
existen. Es un sistema polimórfico, que permite una gran flexibilidad deprogramación, pero a la vez mantiene la correctitud de los programas.
Contrariamente a la mayoría de los lenguajes de programación
procedimentales actuales, Haskell utiliza un sistema de inferencias de
tipos, es decir sabe el tipo resultante de una expresión, por lo que las
anotaciones de tipo en un programa son opcionales.
La parte más interesante de Haskell en relación con lostipos son
los constructores, las tuplas y las listas. Una tupla es un dato
compuesto donde el tipo de cada componente puede ser distinto. Una
de las utilidades de este tipo de datos es cuando una función tiene que
devolver más de un valor:
predSuc :: Integer → (Integer,Integer)
predSuc x = (x-1,x+1)
Las listas son colecciones de cero o más elementos de un mismo
tipo (adiferencia de las tuplas que pueden tenerlos de diferentes). Los
operadores utilizados son el [] y (:). El primero representa una lista
vacía, y el segundo denominado cons o constructor, permite añadir un
elemento al principio de una lista, construyendo la lista en función de
agregar elementos a la misma, por ejemplo [Thompson99]:

4 : 2 : 3 : []
da lugar ala lista [4, 2, 3]. Su asociatividad es hacia la derecha. Un tipo
particular de lista son las cadenas de caracteres.
Para terminar diremos que el constructor utilizado para declarar el
tipo correspondiente a las distintas funciones es el símbolo →.

73

MAIN> dosveces (*2) 10
40:: Integer

MAIN> dosveces inc 10
12:: Integer
También podemos agregar a estas funciones los...