A2.1.

1 Tipos de Datos

Realiza las actividades que se piden a continuación, escribe las respuestas, graba tu evidencia
como A2.1.1 Nombre del alumno y súbela al Moodle.

En Haskell hay una función :t que nos devuelve el tipo de la expresión o de la función dada. Prueba
en el prelude del GHCi las siguientes instrucciones con :t y escribe en la parte derecha de la tabla
que es lo que devuelve.

Prelude> :t ‘a’ ‘a’ :: Char

Prelude> :t True True::Bool
Prelude> :t “Hello” "Hello" :: [Char]
Prelude> :t (True, ‘a’) (True,'a') :: (Bool, Char)
Prelude> :t 3 3 :: Num p => p
Prelude> :t 1.5 1.5 :: Fractional p => p
Prelude> :t (==) (==) :: Eq a => a -> a -> Bool
Prelude> :t 3 + 5 3 + 5 :: Num a => a
Prelude> :t 3 == 5 3 == 5 :: Bool
Prelude> :t max 3 5 max 3 5 :: (Ord a, Num a) => a
Prelude> :t succ 3 succ 3 :: (Enum a, Num a) => a
Prelude> :t 3*4/5 3*4/5 :: Fractional a => a

Type: En Haskell se puede definir un nuevo nombre para un tipo existente usando una declaración
type. Por ejemplo:

type String = [Char]

donde String es sinónimo del tipo [Char]. Los sinónimos hacen que ciertas declaraciones de tipos
sean más fáciles de leer.

Ejercicio: Siga las instrucciones

1. Pruebe crear la siguiente función en su editor de Texto.

2. Cuando termine grábela con el nombre de suma.hs (el nombre de la función no
necesariamente debe ser el nombre que se le da al programa), si usa Sublime seleccione el
archivo de tipo Haskell.

3. Ejecuta el programa en WinGHCi, en la carpeta de Load busca el programa que acabas de

crear.

4. Cuando el programa se carga automáticamente se compila, de no tener error te dará el

informe de la compilación, pero si lo tuviera te dirá en que línea del código se presenta el
error.
5. Ahora que esta compilado y sin errores vamos a ejecutarlo llamando a la función y
proporcionando los parámetros de entrada.

6. Ahora realiza una modificación al programa e introduce un type, donde declares una
variable llamada Numero de tipo Integer. Por ejemplo: type String = [Char] o type Entero =
Integer y renombre los tipos Integer con el tipo creado. Realiza una captura de pantalla y
pégalo aquí.