Alias de tipo

Las anotaciones de tipo pueden quedar un poco grandes. Esto se vuelve particularmente problemático si tienes registros con muchos campos. Esa es la razón por la que existen los alias de tipo. Un alias de tipo es un nombre corto para un tipo. Por ejemplo, puedes creas un alias User de esta forma:

type alias User =
    { name : String
    , age : Int
    }

En vez de escribir el registro entero cada vez, puedes simplemente poner User. Esto nos permite escribir anotaciones de tipo mucho más fáciles de leer:

-- WITH ALIAS


isOldEnoughToVote : User -> Bool
isOldEnoughToVote user =
    user.age >= 18



-- WITHOUT ALIAS


isOldEnoughToVote : { name : String, age : Int } -> Bool
isOldEnoughToVote user =
    user.age >= 18

Estas dos definiciones son equivalentes, pero la que lleva el alias de tipo es más corta y fácil de leer. Todo lo que hicimos fue crear un alias para un tipo más grande.

Modelos

Es súper común usar un alias de tipo al diseñar el modelo. Cuando aprendimos sobre la Arquitectura Elm, usamos este modelo:

type alias Model =
  { name : String
  , password : String
  , passwordAgain : String
  }

El principal beneficio de escribir el modelo usando un alias de tipo es para la anotación de tipo de las funciones update y view. Es mucho más sensato escribir Msg -> Model -> Model que la versión larga. Además tiene el beneficio de que podemos añadir campos a nuestro modelo sin necesitar cambiar anotaciones de funciones.

Constructores de registro

Cuando creas un alias de tipo para un registro específicamente, también se genera un constructor de registro. Así que si definimos un alias de tipo User, podemos crear registros de esta forma:

Prueba crear un usuario o un alias de tipo nuevo ⬆️

Como puedes apreciar, un constructor de registro no es ni más ni menos que una función para generar un valor de ese tipo en forma abreviada. Esta función recibe la misma cantidad de argumentos y en el mismo orden que los campos definidos en el alias de tipo.

Y repito, esto sólo vale para registros. Si creamos un alias para otros tipos, no se generará un constructor.