Paradigmas de programacin:

Un paradigma de programacin indica un mtodo de realizar cmputos y la

manera en que se deben estructurar y organizar las tareas que debe llevar a
cabo un programa.
Los paradigmas fundamentales estn asociados a determinados modelos de
cmputo.
Tambin se asocian a un determinado estilo de programacin
 Evaluacin de expresiones:
Una expresin es una combinacin de operadores y operandos de cuya evaluacin se obtiene un
valor. Los operandos pueden ser nombres que denoten objetos variables o constantes, funciones,
literales de cualquier tipo adecuado de acuerdo con los operadores u otras expresiones ms
simples. La evaluacin de una expresin da lugar a un valor de algn tipo, una expresin se dice
que es del tipo de su resultado.
Los operadores pueden ser:
Unarios: Cuando tan solo tienen un operando. Son operadores prefijos.
Binarios: 2 Operandos. Son operadores infijos.
Ternarios: 3 operandos.
Evaluacin de expresiones:
 Disciplina de datos:
Los tipos se infieren, es decir se comprueban, de forma esttica, en tiempo de compilacin.
En los lenguajes de programacin con disciplina de tipos, cada tipo representa una
coleccin de valores o datos similares. El conocer los tipos de las funciones ayuda a
documentar los programas y evitar errores en tiempo de ejecucin.
Un lenguaje tiene disciplina de tipos si los errores de tipos se detectan siempre, es
necesario determinar los tipos de todos los operandos, ya sea en tiempo de compilacin o
de ejecucin.
 Tipo de datos:
En lenguajes de programacin un tipo de dato es un atributo de una parte de los datos que
indica al ordenador (y/o al programador) algo sobre la clase de datos sobre los que se va a
procesar.
En un sentido amplio, un tipo de datos define un conjunto de valores y las operaciones
sobre estos valores. Casi todos los lenguajes de programacin explcitamente incluyen la
notacin del tipo de datos, aunque lenguajes diferentes pueden usar terminologa diferente.
La mayor parte de los lenguajes de programacin permiten al programador definir tipos de
datos adicionales, normalmente combinando mltiples elementos de otros tipos y
definiendo las operaciones del nuevo tipo de dato. Por ejemplo, un programador puede
crear un nuevo tipo de dato llamado "Persona" que especifica que el dato interpretado
como Persona incluir un nombre y una fecha de nacimiento.
Tipo de datos:
 Tipo de datos:
Los tipos de datos que puede recibir haskell son:
Int
String
Bool
Char
[a] (lista)
[Int] (lista enteros)
Float
Double

Para crear un tipo de dato personalizado se utiliza la expresin type <nombre> = (<contenido>)
por ejemplo podemos crear un tipo nombre de la siguiente manera:

type nombre = String

o un tipo numero de telefono

type numero = Int

o un dato mas complejo como una tupla

type contacto = (String,Int)
o
type contacto = (nombre,numero)