Una retrospectiva de cómo todas las piezas del sistema de tipos de FLIN encajan: inferencia Hindley-Milner, tipos unión con estrechamiento, genéricos con restricciones de traits, uniones etiquetadas con coincidencia de patrones exhaustiva, guardias de tipo, el tipo Never, bucles while-let, bucles etiquetados y patrones or. Cada funcionalidad fue diseñada para trabajar con todas las demás, y el resultado es un sistema de tipos que es tanto expresivo como coherente.
Esta es la Parte 45 de la serie "Cómo construimos FLIN".