Creando nuestro propios tipos y clases de tipos

Creando nuestro propios tipos y clases de tipos

1. Introducción a los tipos de datos algebradicos

   • Int, bool, char, maybe etc.
     • data Int = -2147483648 | -2147483647 | ... | -1 | 0 | 1 | 2 | ... | 2147483647
   • Crear
   • Logica
   • Ejecución

2. Sintaxis de registro

   • Ejecución del programa mejor estructurado
   • (los atributos se pueden manejar individualemente)

3. Parámetros de tipo

   • Constructor de tipos
     • Puede tomar varios parámetros y construir un tipo

4. Instancias derivadas

   • Es una especie de interfaz que define un comportamiento
     • Eq
     • Show
     • Read

5. Sinónimos de tipo

   • Type: Crea un sinonimo
   • Se crea un objeto
   • Se crea una Typo (sinonimo)
   • Ejemplo final del sinonimo

6. Estructura de datos recursiva

   • Son estructuras que se llaman a si mismas para cumplir una determinada tarea
     • Ejemplo con arboles
       • Crear arbol
       • Restricciones del arbol
       • Creación de los nodos y sus caracteristicas
       • Ejecución

7. Familia y artes marciales

   • :k, nos sirve para mirar si un tipo esta compuesto por parametros
     • se determinan los tipos a que familias pertenecen

Images and files in the map