2026-07-26T07:56:32Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:2338 2024-03-06T10:33:19Z ddc:004 open_access

Fighting bit Rot with Types (Experience Report: Scala Collections) Odersky, Martin Moors, Adriaan Programming languages scala avoiding code duplication higher-order kinds type systems polymorphism collections library 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Martin Odersky and Adriaan Moors 2009 Is Part Of LIPIcs, Volume 4, IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (2009) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.FSTTCS.2009.2338 urn:nbn:de:0030-drops-23386 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSTTCS.2009.2338 eng https://creativecommons.org/licenses/by-nc-nd/3.0/legalcode