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.
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.
¿Quiere hacer algún comentario? Comunique un problema aquí.