MAKING OUR OWN TYPES AND TYPECLASSES

MAKING OUR OWN TYPES AND TYPECLASSES

1. Algebraic data types intro

   • use data keyword to define a type
     • data means that we're defining a new data type.
       • • The part before the = denotes the type

2. Record syntax

   • by using record syntax to create this data type, haskell automatically made these function: firstName, lastName, age, height, phoneNumber and flavor
   • • we can use curly brackets instead of naming the field types one after another and separating them with spaces

3. Type parameters

   • A value constructor can take some values parameters and then produce a new value
     • type constructors can take types as parameters to produce new types
       • Type parameters are useful because we can make different types with them depending on what kind of types we want contained in our data type

4. Derived instances

   • Type parameters are useful because we can make different types with them depending on what kind of types we want contained in our data type

5. Type synonyms

   • Type synonyms just about giving some types different names
   • Type synonyms can also be parameterized

Imágenes y archivos del mapa