OCaml (vs Python) y Unikernels con MirageOS

Empezamos el nuevo año con OCaml como protagonista. Este lenguaje, a pesar de ser relativamente desconocido en nuestra comunidad, ha tenido un gran impacto en el diseño de lenguajes como Rust y Scala, también ha sido muy relevante en el mundo académico. En esta charla, José nos introducirá en el mundo de OCaml apoyándose en Python para hacer comparativas.

Abstract

OCaml es un lenguaje de programación funcional de propósito general y tipado estático, con inferencia de tipos, tipos inductivos, pattern matching, variantes, etc. además de ser muy eficiente. En esta charla veremos las principales características del lenguaje (comparadas con código Python equivalente) y hablaremos sobre el tooling y futuro del lenguaje y la posibilidad de crear (memory safe) unikernels usando la biblioteca de MirageOS.

Bio

José trabaja como ingeniero de software en el equipo de Performance & Scale de Red Hat, con tecnologías cloud-native y plataformas de orquestación de containers. Imparte cursos de Cloud, DevOps, Networking e IoT desde 2016 en cursos de grado y posgrado.