Las uniones etiquetadas -- también conocidas como tipos de datos algebraicos -- permiten definir tipos que pueden ser una de varias variantes, cada una potencialmente con datos diferentes. Option<T> es Some(T) o None. Result<T, E> es Ok(T) o Err(E). Son la base del manejo de errores seguro y la representación de datos que puede no existir.
Esta es la Parte 36 de la serie "Cómo construimos FLIN".