Notas de diseño de X: Unificación de módulos OCaml

El autor está diseñando un nuevo lenguaje de programación, X, con el objetivo de combinar la inferencia de tipos y la subtipificación estructural de PolySubML con la mayoría de las funciones de OCaml, abordando especialmente las diferencias sintácticas y conceptuales entre el sistema de módulos de OCaml y los valores ordinarios. La publicación detalla cómo se unifican los módulos OCaml en X, cubriendo aspectos como los miembros de alias en registros, la sintaxis struct y sig, la apertura e inclusión de módulos, la extensión de módulos y la abstracción con tipos existenciales. Propone mejoras al sistema de módulos de OCaml, como evitar las importaciones con comodines. El objetivo final es un lenguaje de programación más simple, fácil de entender y potente.