Changing the way you learn

Creación de tipos y clases de tipos en Haskell

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

Next up

Creación de tipos y clases de tipos en Haskell

Description

Resource summary

Media attachments

Similar

	Created by VAQUIRO PERDOMO FREDY LEONEL over 6 years ago