Typage fort et typage souple des collections topologiques et des transformations

Julien Cohen (1)

1 LaMI - Laboratoire de Méthodes Informatiques

Topological collections allow to consider uniformly many data structures in programming languages and are handled by functions defined by pattern matching called transformations. We present two type systems for languages with topological collections and transformations. The first one is a strong type system à la Hindley/Milner which can be entirely typed at compile time. The second one is a mixed static and dynamic type system allowing to handle heterogeneous collections, that is collections which contain values with different types. In the two cases, automatic type inference is possible.

Mots clés: Type system; topological collections

Domaines: Langage de programmation [cs.PL]

Julien Cohen. Typage fort et typage souple des collections topologiques et des transformations. Journées francophones des langages applicatifs, Jan 2004, Sainte-Marie-de-Ré, France. pp.37-54. ⟨hal-00442431⟩