Lingua Franca es un lenguaje de coordinación diseñado para facilitar el desarrollo de sistemas concurrentes, predecibles y sensibles al tiempo. A diferencia de los lenguajes de programación tradicionales que requieren que los desarrolladores gestionen manualmente hilos, bloqueos y primitivas de sincronización, Lingua Franca utiliza un paradigma orientado a reactores. Este enfoque permite a los desarrolladores especificar componentes reactivos y componerlos en un sistema más grande. Al utilizar este modelo, el framework busca eliminar las condiciones de carrera por construcción, proporcionando un comportamiento más repetible que los marcos de programación concurrente comunes, tales como los actores, pub-sub o las arquitecturas orientadas a servicios.
El mecanismo central de Lingua Franca implica la definición de 'reactores', que son componentes reactivos que interactúan a través de un análisis de causalidad definido. Por ejemplo, en un juego de 'piedra, papel o tijera', el lenguaje garantiza que dos jugadores revelen sus elecciones simultáneamente. Si la lógica de un programa permitiera que un jugador observara la elección del otro antes de revelar la propia, el análisis de causalidad de Lingua Franca identificaría esto como un bucle de causalidad y marcaría el programa como inválido. Esto asegura que 'al mismo tiempo' tenga un significado preciso y determinista dentro del sistema. Además, el lenguaje integra semánticas de tiempo directamente en su núcleo, permitiendo un manejo preciso de tareas sensibles al tiempo sin la compleja lógica de temporización que suele requerirse en la programación concurrente.
Una de las características definitorias de Lingua Franca es que no es un lenguaje de programación independiente; más bien, es una capa de coordinación que funciona con lenguajes existentes. Los desarrolladores pueden escribir la lógica interna de sus reactores en lenguajes como C, C++, Python, TypeScript o Rust. Esto permite una transición fluida desde aplicaciones multihilo en una sola máquina hacia arquitecturas distribuidas con modificaciones mínimas. Sin embargo, aunque el framework abstrae las complejidades de los sistemas distribuidos y la gestión de hilos, depende de las capacidades del lenguaje subyacente para la lógica de negocio real. La principal compensación es que, si bien simplifica la concurrencia y la distribución, el desarrollador aún debe trabajar dentro de las limitaciones del entorno de ejecución y las capacidades del lenguaje anfitrión para las partes no reactivas del código.