Episodio

Bloom: Programación desordenada para un mundo distribuido

con Peter Alvaro

Presentaré Bloom, un lenguaje de programación dirigido a desarrolladores de sistemas distribuidos y de informática en la nube complejos. Bloom es un lenguaje 'desordenado': se diferencia de los lenguajes de programación más comunes al adoptar en lugar de resistir las realidades desordenadas de las arquitecturas informáticas distribuidas. Basándose en los resultados teóricos recientes, incluido el Teorema CALM, Bloom admite un potente marco de análisis de programación para analizar la corrección y la coherencia de los programas distribuidos. Para demostrar la utilidad de Bloom, presentaré ejemplos de infraestructura y aplicaciones distribuidas del sistema, incluidos los protocolos de entrega, un almacén de clave-valor y una aplicación de carro de la compra replicada. A continuación, mostraré cómo las herramientas de análisis de Bloom permiten al programador comparar y evaluar estas implementaciones.