Foundations of Software Technology and Theoretical Computer Science, Date: 2009/12/15 - 2009/12/17, Location: Kanpur, India
Publication date:
2009-01-01
Pages:
427 -
451
ISSN:
978-3-939897-13-2
Publisher:
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI); Schloss Dagstuhl, Germany
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science
Author:
Odersky, Martin
Moors, Adriaan ; Kannan, Ravi ; Kumar, K Narayan
Abstract:
We report on our experiences in redesigning Scala's collection libraries, focussing on the role that type systems play in keeping software architectures coherent over time. Type systems can make software architecture more explicit but, if they are too weak, can also cause code duplication. We show that code duplication can be avoided using two of Scala's type constructions: higher-kinded types and implicit parameters and conversions.