Fighting bit rot with types (Experience report: Scala collections)

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 4, Issue , 2009, Pages 427-451

  Odersky, M ^a   Moors, A ^b  

^a EPFL   (Switzerland)

^b UNIVERSITY OF LEUVEN   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

CODE DUPLICATION; EXPERIENCE REPORT; IMPLICIT PARAMETERS; TYPE SYSTEMS;

COMPUTER SCIENCE;

SOFTWARE ARCHITECTURE;

EID: 78650086118     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.FSTTCS.2009.2338     Document Type: Conference Paper

References (21)

1. Andrew P. Black, Nathanael Schärli, and Stéphane Ducasse. Applying traits to the Smalltalk collection classes. In Ron Crocker and Guy L. Steele Jr., editors, OOPSLA, pages 47-64. ACM, 2003.
2. Kim B. Bruce, Albert R. Meyer, and John C. Mitchell. The semantics of second-order lambda calculus. Inf. Comput., 85(1): 76-134, 1990.
3. William R. Cook. Interfaces and specifications for the Smalltalk-80 collection classes. In OOPSLA, pages 1-15, 1992.
4. Vincent Cremet and Philippe Altherr. Adding type constructor parameterization to Java. Journal of Object Technology, 7(5): 25-65, June 2008. Special Issue: Workshop on FTfJP, ECOOP 07. http://www.jot.fm/issues/ issue200806/article2/.
5. Derek Dreyer, Robert Harper, Manuel M. T. Chakravarty, and Gabriele Keller. Modular type classes. In Martin Hofmann and Matthias Felleisen, editors, POPL, pages 63-70. ACM, 2007.
6. J.Y. Girard. Interpretation fonctionelle et elimination des coupures de l'arithmetique d'ordre superieur. These d'Etat, Paris VII, 1972.
7. Adele Goldberg and David Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, 1983.
8. Paul Hudak, Simon L. Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph H. Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnsson, Richard B. Kieburtz, Rishiyur S. Nikhil, Will Partain, and John Peterson. Report on the programming language Haskell, a non-strict, purely functional language. SIGPLAN Notices, 27(5): R1-R164, 1992.
9. Mark P. Jones. A system of constructor classes: Overloading and implicit higher-order polymorphism. J. Funct. Program., 5(1): 1-35, 1995.
10. Barbara Liskov. Keynote address - data abstraction and hierarchy. In OOPSLA '87: Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum), pages 17-34, New York, NY, USA, 1987. ACM.
11. David MacIver. Scala arrays, 2008. Blog post at http://www.drmaciver.com/ 2008/06/scala-arrays.
12. Matt Malone. The mystery of the parameterized array, 2009. Blog post at http://oldfashionedsoftware.com/2009/08/05/the-mystery-of-the-parameterized- array.
13. Adriaan Moors, Frank Piessens, and Martin Odersky. Generics of a higher kind. In Gail E. Harris, editor, OOPSLA, pages 423-438. ACM, 2008.
14. Maurice Naftalin and Philip Wadler. Java Generics and Collections. O'Reilly Media, Inc., 2006.
15. Martin Odersky. Pimp my library, 2006. Blog post at http://www.artima. com/weblogs/viewpost.jsp?thread=179766.
16. Martin Odersky, Philippe Altherr, Vincent Cremet, Iulian Dragos, Gilles Dubochet, Burak Emir, Sean McDirmid, Stéphane Micheloud, Nikolay Mihaylov, Michel Schinz, Lex Spoon, Erik Stenman, and Matthias Zenger. An Overview of the Scala Programming Language (2. edition). Technical report, 2006.
17. Martin Odersky, Lex Spoon, and Bill Venners. Programming in Scala. Artima, 2008.
18. John C. Reynolds. Towards a theory of type structure. In Bernard Robinet, editor, Symposium on Programming, Volume 19 of Lecture Notes in Computer Science, pages 408-423. Springer, 1974.
19. Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, and Andrew P. Black. Traits: Composable units of behaviour. In ECOOP, pages 248-274, 2003.
20. Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad-hoc. In POPL, pages 60-76, 1989.
21. Stefan Wehr, Ralf Lämmel, and Peter Thiemann. JavaGI: Generalized interfaces for Java. In Erik Ernst, editor, ECOOP, Volume 4609 of Lecture Notes in Computer Science, pages 347-372. Springer, 2007.