El sistema de tipos de FLIN está diseñado para ser inferido por defecto, expresivo cuando se necesita y seguro en tiempo de compilación. Escribes count = 0 y el compilador sabe que es un int. Añades una anotación score: number = 0 solo cuando la inferencia sería ambigua. El resultado es seguridad de tipos sin el impuesto de verbosidad.
Esta es la Parte 31 de la serie "Cómo construimos FLIN".