Fighting bit Rot with Types (Experience Report: Scala Collections)

Odersky, Martin; Moors, Adriaan

doi:10.4230/LIPIcs.FSTTCS.2009.2338

Document

Fighting bit Rot with Types (Experience Report: Scala Collections)

Authors Martin Odersky, Adriaan Moors

Part of: Volume: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
Publication Date: 2009-12-14

PDF

File

PDF

LIPIcs.FSTTCS.2009.2338.pdf

Filesize: 306 kB
25 pages

Document Identifiers

DOI: 10.4230/LIPIcs.FSTTCS.2009.2338
URN: urn:nbn:de:0030-drops-23386

Subject Classification

Keywords

Programming languages
scala
avoiding code duplication
higher-order kinds
type systems
polymorphism
collections library

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Martin Odersky and Adriaan Moors. Fighting bit Rot with Types (Experience Report: Scala Collections). In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. Leibniz International Proceedings in Informatics (LIPIcs), Volume 4, pp. 427-451, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009) https://doi.org/10.4230/LIPIcs.FSTTCS.2009.2338

Author Details

Martin Odersky

Adriaan Moors

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail