On the (un)reality of virtual types

Résumé: Nous montrons, principalement sur des exemples détaillés, que des schémas de programmation avec objets connus pour nécessiter la notion de types virtuels peuvent être écrits de façon directe et concise en utilisant le polymorphisme paramétrique. Une amélioration significative que nous apportons par rapport aux approches antérieures est de permettre à des classes liées de pouvoir être définies indépendemment. Cette solution est plus flexible, plus générale, et nous pensons, plus simple que les autres solutions correctement typées qui ont été proposées. Cette approche peut être utilisée dans plusieurs langages avec polymorphisme paramétrique qui peuvent déja typer les méthodes binaires et possèsent des types d'objets structurels.

Abstract: We show, mostly through detailed examples, that object-oriented programming patterns known to involve the notion of virtual types can be implemented directly and concisely using parametric polymorphism. A significant improvement we make over previous approaches is to allow related classes to be defined independently. This solution is more flexible, more general, and we believe, simpler than other type-safe solutions previously proposed. This approach can be applied to several languages with parametric polymorphism that can already type binary methods and have structural object types.

• Introduction
• The detailed example of subject/observers
• Comparison with other proposals
  • The subject/observer pattern in [BOW98]
  • The subject/observer pattern in [Tor98]
  • De-coupling classes of a group
  • A pathological benefit of coupling
• The necessary ingredients for decoupling classes
  • F-bounded quantification with recursively defined bounds
  • Match-bounded quantification with recursively defined bounds
  • Extending type destructors to object types
• Expressiveness and abstraction
• At the limit of virtual types
• Conclusion
• References
• A more natural and flexible solution to the subject/observer pattern
  • Representing events in a variant type
  • Using different methods for each kind of event

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.