X-Design-Notizen: Vereinheitlichung von OCaml-Modulen

Der Autor entwirft eine neue Programmiersprache, X, die die Typinferenz und strukturelle Subtypen von PolySubML mit den meisten Funktionen von OCaml kombinieren soll. Besonders wird auf die syntaktischen und konzeptionellen Unterschiede zwischen dem OCaml-Modulsystem und gewöhnlichen Werten eingegangen. Der Beitrag beschreibt detailliert, wie OCaml-Module in X vereinheitlicht werden, einschließlich Alias-Member in Datensätzen, struct- und sig-Syntax, Modulöffnungen und -einschlüsse, Modulerweiterungen und Abstraktion mit existentiellen Typen. Verbesserungen am OCaml-Modulsystem werden vorgeschlagen, z. B. die Vermeidung von Wildcard-Importen. Das endgültige Ziel ist eine einfachere, verständlichere und leistungsfähigere Programmiersprache.