Hibana es un proyecto innovador para Rust que introduce el concepto de Tipos de Sesión Multipartita Afines (Affine Multiparty Session Types - MPST) para garantizar la corrección y seguridad de protocolos de comunicación a nivel de compilador. En esencia, permite que el compilador Rust pruebe que un protocolo de comunicación no tendrá problemas de interbloqueo (deadlock), un problema común en sistemas distribuidos y concurrentes.
¿Cómo funciona? La idea central es definir la “coreografía global” de la comunicación entre diferentes partes (roles) de un sistema. Esto se hace a través de una descripción formal del protocolo, utilizando un lenguaje expresivo que define la secuencia de mensajes (envíos y recepciones) entre los roles. Esta descripción, llamada Program, se construye utilizando funciones puras en tiempo de compilación (const fn), evitando el uso de macros para asegurar la predictibilidad y la seguridad. Luego, esta coreografía global se “proyecta” en roles esp