Creación de tipos y clases de tipos en Haskell

Description

Mapa mental con la descripción de como realizar y crear nuestro propios tipos y clases de tipos
VAQUIRO PERDOMO FREDY LEONEL
Mind Map by VAQUIRO PERDOMO FREDY LEONEL, updated more than 1 year ago
VAQUIRO PERDOMO FREDY LEONEL
Created by VAQUIRO PERDOMO FREDY LEONEL almost 6 years ago
0
0
1 2 3 4 5 (0)

Resource summary

Creación de tipos y clases de tipos en Haskell
  1. partes: ej. data Bool = True | False
    1. podemos hacer ajuste de patrones en los constructores
      1. La declaración del tipo puede devolver un valor
        1. lado derecho: define el constructor del tipo de dato
          1. los constructores son funciones como todo lo demás
            1. Podemos abstraer la figura
            2. los parámetros se pueden definir con un tipo de dato
              1. los campos definidos en el constructor son parametros
                1. Para poder ver la definición colocamos "deriving (show)"
                  1. Con esto podremos ver la difinición por consola
                2. lado izquierdo: define el tipo de dato
                3. podemos definir funciones a partir de estos tipos
                  1. Ver la definición del tipo de datos al final del constructos usamos "deriving (Show)"
                    1. podemos Mapear los constructores
                    2. Podemos exportar las las Funciones y tipos creando un modulo con siguiendo la estrutura
                      1. las definiciones debe estar jerarquizadas de acuerdo su uso
                        1. Cuando en el modulo se exporte el constructor se debe colocar (..)
                        2. Constructor y DataTypes
                          1. Podemos combinar los DataTypes en los Constructores
                            1. Podemos extender y hacer DataTypes más robustos
                              1. Permite que el patron se pueda transformar para que sea más legible
                            2. Nos permite declarar DataTypes y situarlas en los módulos
                              1. Sintaxis de registgro
                                1. Podemos construir una estructura de describa algún tipo ej: una persona
                                  1. Podriamos definir un dataType sencillo
                                    1. Pero podemos definir su estructura de una forma más optima
                                  2. DataType Parameter
                                    1. Nos permite pasar Tipos y con base de este generar otro tipo
                                      1. Los tipos dentro del tipo deben estar plenamente definidos
                                      2. Instancias Derivadas
                                        1. permite crear a partir de una interfaceun comportamiento para un tipo
                                          1. Permite hacer operaciones para validar un tipo con otro
                                          2. Estructuras de datos Recursivas
                                            1. Podemos aplicar la sintaxis de registros
                                              1. Funcionamiento
                                                1. Conclusión
                                              2. Podemos definir funciones infijas
                                                1. Definición
                                                  1. infixr (Definición por la derecha)
                                                    1. nivel de precedencia de 0 a 9, de menor a mayor
                                                      1. Simbolo de la función creada
                                                        1. Tipo de asociatividad
                                                        2. infixl(Definición por la izquierda)
                                                      2. Árbol Binario
                                                        1. Caracteristicas para el árbol binario de búsqeuda
                                                          1. No Lineal
                                                            1. Recursiva
                                                              1. Jerarquica
                                                                1. Auto-Contenida
                                                                  1. No permite duplicados
                                                                    1. Notation de orden Logaritmica
                                                                    2. Estructura general
                                                                      1. el nodo principal es el padre y en el nivel 0 es la raiz
                                                                        1. los descendientes son hijos o subárbol
                                                                          1. Tiene niveles
                                                                            1. los nodos del mismo nivel adyacente son hermanos
                                                                              1. Los nodos finales son hojas y no tienen hijos
                                                                                1. Tienes caminos que son la conexión con nodos adyascentes
                                                                                  1. las ramos son las conexiones entre un nodo y otro
                                                                                    1. La altura se mide por la cantidad de niveles que posea el arbol
                                                                                    2. Definición, Ejemploo:
                                                                                      1. Debe ser Homogeneo
                                                                                        1. Puede estar vacio
                                                                                          1. Puede ser un nodo seguido de distintos tipos de datos (Hijo izquierdo y derecho)
                                                                                            1. Puede escribirse por consoloa, leido y equiparado
                                                                                              1. Está autocontenido
                                                                                          2. Clases de tipo propios
                                                                                            1. Son contratos igual que las interfaces en los lenguajes de programación con C#, Python o Java
                                                                                              1. Define un comportamiento, el comportamiento se condigue mediante la definición de sus funciones o tipos que después se implementas
                                                                                                1. Si un tipo una instancia de una clase de tipo, podemos usar sus funciones
                                                                                                  1. cuando se define una clase:
                                                                                                    1. Inician con primera letra en mayúscula
                                                                                                      1. La variable representa el tipo a través de us instancia de la clase
                                                                                                        1. No es obligatorio implementar las métodos de la clase, pero deben estar declaradas
                                                                                                          1. Usa el patron de diseño
                                                                                                            1. "Class" es para definir Clases de tipos
                                                                                                              1. "instance": es para que nuestros tipos tengan una instancia
                                                                                                              2. HACER QUE OBTENGAMOS POLIMORFISMO AL CREARLAS
                                                                                                              Show full summary Hide full summary

                                                                                                              0 comments

                                                                                                              There are no comments, be the first and leave one below:

                                                                                                              Similar

                                                                                                              Tourism 1
                                                                                                              Scott Church
                                                                                                              English Grammatical Terminology
                                                                                                              Fionnghuala Malone
                                                                                                              Physics GCSE AQA Unit 1 quiz
                                                                                                              Adorkable_dreamer
                                                                                                              History - Germany 1918 - 1945
                                                                                                              Grace Evans
                                                                                                              B2, C2, P2
                                                                                                              George Moores
                                                                                                              C1:Making Crude Oil Useful (Science-GCSE)
                                                                                                              Temi Onas
                                                                                                              GCSE AQA Biology 3 Kidneys & Homeostasis
                                                                                                              Lilac Potato
                                                                                                              Paradise Lost Themes/Quotes
                                                                                                              Kirsty S
                                                                                                              An Inspector Calls - Quotes
                                                                                                              jaynejuby
                                                                                                              Data Types
                                                                                                              Jacob Sedore