Introducción
Tipos opacos
Los tipos opacos en Gleam son tipos personalizados en los que solo el módulo que define el tipo puede construir valores del tipo o hacer coincidencia de patrones con ellos. Esto es útil para crear tipos que solo deberían usarse de una manera específica.
Los tipos opacos se definen con la palabra clave opaque.
pub opaque type PositiveInt {
PositiveInt(inner: Int)
}
Este tipo PositiveInt se debe usar en situaciones donde se quiere un entero, pero tiene que ser cero o mayor. Un Int normal de Gleam no podría usarse, ya que también puede ser negativo.
El módulo que define este tipo puede definir una función para obtener el valor entero interno y una función para crear el tipo PositiveInt que devolverá un error si el valor no es positivo.
pub fn from_int(i: Int) -> Result(PositiveInt, String) {
case i {
_ if i < 0 -> Error("Value must be positive")
_ -> Ok(PositiveInt(i))
}
}
pub fn to_int(i: PositiveInt) -> Int {
i.inner
}
Con esta API, otros módulos no pueden construir un PositiveInt con un valor negativo, así que cualquier función que reciba un PositiveInt puede asegurarse de que el valor es positivo.
Instrucciones
¡Los estudiantes más observadores habrán notado que el tipo TreasureChest del ejercicio anterior no era tan seguro!
Si usabas la función get_treasure, tenías que proporcionar la contraseña, pero aun así podías desestructurar el tipo TreasureChest para obtener el tesoro sin necesidad de conocer la contraseña.
Vamos a arreglarlo usando un tipo opaco.
1. Define el tipo opaco TreasureChest.
El TreasureChest contiene dos campos:
- Una contraseña que es un
String.
- Un tesoro que es un tipo genérico.
El tipo TreasureChest debe ser opaco.
2. Define la función create.
Esta función recibe dos argumentos:
- Una contraseña
String.
- Un tesoro de cualquier tipo.
La función devuelve un TreasureChest que contiene la contraseña y el valor.
Si la contraseña tiene menos de 8 caracteres, la función debe devolver un error que diga Password must be at least 8 characters long.
3. Define la función open.
Esta función recibe dos argumentos:
- Un
TreasureChest.
- Una contraseña
String.
Si la contraseña coincide con la contraseña del TreasureChest, la función debe devolver el tesoro; de lo contrario, debe devolver un error que diga Incorrect password.
Ejercicio de aprendizaje
