Cómo diseñamos el sistema de tipos de FLIN para que sea inferido por defecto, expresivo cuando se necesita y seguro en tiempo de compilación -- sin el impuesto de verbosidad de los lenguajes tipados tradicionales.
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".
Déblo Voice se quedaba en silencio unos 15 segundos cada vez que una pregunta difícil activaba una búsqueda profunda. El prompt ya exigía un anuncio, pero el modelo de audio nativo emite la llamada a la función como su primer token. Además, el silencio tenía dos partes, la ejecución de la herramienta y la latencia de la respuesta, así que ningún prompt podía cerrarlo. Llevamos la garantía al worker de LiveKit: un anuncio pregrabado con la voz y el idioma de la sesión, y un suave sonido de tecleo mientras el agente piensa. Probado en producción el 16 de octubre de 2026: 14 y 17,5 segundos de silencio del lado del modelo, unos 0,4 segundos percibidos por el usuario.
Una noche, seis aplicaciones migradas fila por fila, tres copias de seguridad vacías, una sin destino y un servidor cuyo futuro cambió tres veces.
Un día, una plataforma privada de un cliente, trece sesiones headless de Claude encadenadas por un orquestador que nunca escribe código. Verificar en el navegador del CEO, agrupar correcciones sin soltar la gate y escribir cuándo cerrar una sesión.
