Système nominatif de types

Résumé

Un système nominatif de types est une classe majeure de système de types en programmation informatique. C'est avec lui qu'on détermine la compatibilité et l'équivalence de types par la déclaration explicite et/ou le nommage des types. On utilise les systèmes nominatifs pour déterminer si des types sont équivalents ou pour savoir si un type est un sous-type d'un autre. Ce système est en contraste avec le système structurel, où les comparaisons sont fondées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites. Typage nominatif Un typage nominatif signifie que deux variables ont un type compatible si elles apparaissent soit dans la même déclaration, soit dans des déclarations qui utilisent le même nom de type. Notez que beaucoup de langages fournissent l'alias de types ou la possibilité de déclarer plusieurs noms pour le même type ; la fonctionnalité C/C++ typedef en est un exemple. C, C++ et Java sont tous des langages qui

Source officielle

https://fr.wikipedia.org/wiki/Syst%C3%A8me_nominatif_de_types

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (39)

Publications associées

Chargement

Personnes associées (4)

Personnes associées

Chargement

Unités associées (2)

Unités associées

Chargement

Concepts associés (12)

Concepts associés

Chargement

Cours associés (4)

Cours associés

Chargement

Séances de cours associées (11)

Séances de cours associées

Chargement

A Nominal Theory of Objects with Dependent Types

Vincent Cremet, Martin Odersky, Matthias Zenger

We design and study newObj, a calculus and dependent type system forobjects and classes which can have types as members. Type members canbe aliases, abstract types, or new types. The type system can modelthe essential concepts of Java's inner classes as well as virtual typesand family polymorphism found in BETA or gbeta. It can also model mostconcepts of SML-style module systems, including sharing constraintsand higher-order functors, but excluding applicative functors.The type system can thus be used as a basis for unifying conceptsthat so far existed in parallel in advanced object systems and inmodule systems. The technical report presents results on confluenceof the calculus, soundness of the type system, and undecidability oftype checking.

2002

Chargement

Type-Safe Prototype-Based Component Evolution

Matthias Zenger

Component-based programming is currently carried out us- ing mainstream object-oriented languages. These languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility. This paper investigates abstractions for component-oriented programming on the programming language level. We propose a simple prototype-based model for first-class components on top of a class-based object-oriented language. The model is formalized as an extension of Featherweight Java. Our calculus includes a minimal set of primitives to dynamically build, extend, and compose software components, while supporting features like explicit context dependen- cies, late composition, unanticipated component extensibility, and strong encapsulation. We present a type system for our calculus that ensures type-safe component definition, composition, and evolution.

Springer Berlin Heidelberg2002

Chargement

Type-Safe Prototype-Based Component Evolution

Matthias Zenger

Component-based programming is currently carried out using mainstream object-oriented languages. These languages have to be used in a highly disciplined way to guarantee flexible component composition and extensibility. This paper investigates abstractions for component-oriented programming on the programming language level. We propose a simple prototype-based model for first-class components on top of a class-based object-oriented language. The model is formalized as an extension of Featherweight Java. Our calculus includes a minimal set of primitives to dynamically build, extend, and compose software components, while supporting features like explicit context dependencies, late composition, unanticipated component extensibility, and strong encapsulation. We present a type system for our calculus that ensures type-safe component definition, composition, and evolution.

2002

Chargement