Constrained Types - Future Directions

Vijay Saraswat (1) , David Cunningham (1) , Liana Hadarean (2) , Louis Mandel (3, 4) , Avraham Shinnar (1) , Olivier Tardieu (1)

1 IBM Thomas J. Watson Research Center
2 NYU - New York University [New York]
3 LRI - Laboratoire de Recherche en Informatique
4 Parkas - Parallélisme de Kahn Synchrone

The use of constraints in types is quite natural. Yet, integrating constraint based types into the heart of a modern, statically typed, object-oriented programming language is quite tricky. Over the last five years we have designed and implemented the constrained types framework in the programming language X10. In this paper we review the conceptual design, the practical implementation issues, and the many new questions that are raised. We expect the pursuit of these questions to be a profitable area of future work.

Mots clés: Constraints; Programming Languages; Types; Constraint Programming; Constrained Types

Domaines: Langage de programmation [cs.PL]

Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, et al.. Constrained Types - Future Directions. CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. ⟨hal-00798046⟩