Constrained types for object-oriented languages
Nathaniel Nystrom, Vijay Saraswat, Jens Palsberg, Christian Grothoff · 2008
X10 is a modern object-oriented language designed for productivity and performance in concurrent and distributed systems. In this setting, dependent types offer significant opportunities for detecting design errors statically, documenting design decisions, eliminating costly run-time checks (e.g., for array bounds, null values), and improving the quality of generated code.