(EN) Methods and apparatus, including computer program products, for defining and using data types at runtime. A procedural source code program is compiled to generate a compiled program having instructions to create a runtime data type and to use the runtime data type. The runtime data type has a compound structure of referenced data types. Instructions to create a runtime data type having a compound structure are executed by creating a runtime data type definition from the compound structure of referenced data types by resolving the referenced data types bottom up into data types known at runtime. A data object having the runtime data type is created. Type checking is performed on uses of the data object at runtime according to the runtime data type.
(FR) L'invention porte sur des procédés et appareils dont des programmes informatiques, de définition et utilisation de types de données d'exécution. A cet effet on compile un programme de code source de procédure pour créer un programme compilé comportant des instructions de création et d'utilisation d'un type de données d'exécution. Un types de données d'exécution présente une structure de types de données de référence. Les instruction de création d'un type de données d'exécution de structure composée s'exécute en créant la définition d'un type de données d'exécution à partir des types de données de référence que l'on résout de manière ascendante en types de données connus lors de l'exécution. On crée un objet de données présentant le type de données d'exécution, et on vérifie le type en fonction des utilisations de l'objet de données lors de l'exécution en fonction du type de données d'exécution
