Notas de design do X: Unificando módulos OCaml

O autor está projetando uma nova linguagem de programação, X, com o objetivo de combinar a inferência de tipo e a subtipagem estrutural do PolySubML com a maioria dos recursos do OCaml, abordando especialmente as diferenças sintáticas e conceituais entre o sistema de módulos do OCaml e os valores comuns. A publicação detalha como os módulos OCaml são unificados no X, cobrindo aspectos como membros de alias em registros, sintaxe struct e sig, abertura e inclusão de módulos, extensão de módulos e abstração com tipos existenciais. Propõe melhorias ao sistema de módulos do OCaml, como evitar importações com curingas. O objetivo final é uma linguagem de programação mais simples, fácil de entender e poderosa.