Sintaxis

Sintaxis 1. Estructuras básica 2. Construcciones de expresiones 3. Instrucciones de control

Estructura Básica La forma de escribir una función en Haskell se define a continuación: * Definición de signatura: Se especifican los tipos de los datos de entrada y salida que posee la función. * Implementación del cuerpo de la función: Se especifica la descripción de la función para transformar los datos de entrada en los datos de salida. En la definición de la signatura se utiliza la siguiente sintaxis: nombre_funcion::tipo_argumento->tipo_resultado En la definición del cuerpo de la función la sintaxis es como sigue: nombre_funcion nombre_argumento=<implementacion>

Ejemplo de Estructura numero :: Integer –> Integer numero x = x+5 Fase 1 Fase 2 Fase 3 numero :: Integer –> Integer numero x = x+5

Construcción de expresiones La ejecución de un programa en Haskell se realiza a través de la evaluación de expresiones (términos sintácticos) que denotan valores (entidades abstractas que entendemos como respuestas). Ejemplos de expresiones son: 'a' 3 + 4 (5 > 0, 9) cuyos valores asociados son la letra a, el número 7 y el par ordenado cuya primera componente es el valor verdadero y al segunda el número 9. Así como podemos asociar las entidades reales o matemáticas con un conjunto, las expresiones en Haskell tienen asociado un tipo. El símbolo :: sirve para indicar explícitamente el tipo de las expresiones. 'a' :: Char 3 + 4 :: Integer (5 > 0, 9) :: (Bool, Integer) El lenguaje tiene un conjunto de tipos predefinidos, de los cuales ya mencionamos algunos: Tipos simples como Integer, Double, Char, Bool, etc. Tuplas de cualquier longitud. Por ejemplo, (2 * 5 +1, 4 >0, 22.1) es de tipo (Integer, Bool, Double).

Instrucciones de control Las instrucciones de control son todas aquellas que alteran la ejecución secuencial de las instrucciones, como por ejemplo: IF En este lenguaje funcional se puede utilizar la sentencia condicional IF del modo siguiente: if <expresion1> then <expresion2> else <expresion3> Para realizar bucles y otros tipos de estructuras de control, usaremos el concepto de recurrencia.

Recurrencia Recurrencia Simulación de Recurrencia función Argumento 1

Ejemplo Recurrencia Ejemplo de recurrencia usando “guardas” dividir x y | (x >= y) = 1 + dividir (x - y) y | otherwise = 0 Usando guardas no es necesario asignar tipos a los datos.