Make yourself a priority once in a while. It's not selfish. It's necessary. Anonymous
Idea Transcript
Contact Who's who Organisational chart Libraries Toledo Intranet KU Leuven Nederlands
EDUCATION
RESEARCH
ADMISSIONS
LIVING IN LEUVEN
ABOUT KU LEUVEN
Home Lirias Browse Organizational Units
My Lirias
More About Lirias Helpdesk
Lirias
KU Leuven
Science, Engineering and Technology Group
Department of Computer Science
Informatics Section
ITEM METADATA RECORD Title: Type Constructor Polymorphism for Scala: Theory and Practice (Type constructor polymorfisme voor Scala: theorie en praktijk) Other Titles: Type Constructor Polymorphism for Scala: Theory and Practice Authors: Moors, Adriaan; M9920455 Issue Date: 11-May-2009 Abstract: A static type system is an important tool in efficiently developing correct software. We describe the theoretical underpinnings as well as the practical side of our extension of Scala's type system. More concretely, we generalised Scala's support for parametric polymorphism -- typically called "genericity" in object-oriented languages -- to the higher-order case. We call the result "type constructor polymorphism", as Scala programmers may now safely abstract over type constructors. This generalisation, amplified by the synergy with Scala's existing features such as implicits, represents an important asset in the library designer's abstraction-building tool belt, while the user of these abstractions need not worry about their inner workings. The theoretical side of the story focusses on the lacunae in the existing Scala formalisms, and presents our core calculus that solves these. Finally, we elaborate on our vision for future improvements of the type system, based on our practical experience with type constructor polymorphism. Publication status: published KU Leuven publication type: TH Appears in Collections:
Informatics Section
Files in This Item: File
Description
thesis_adriaan_moors_archive.pdf
Status
Size
Format
Published
1654Kb
Adobe PDF
View/Open
Show full item record View item statistics This item is licensed under a Creative Commons License
All items in Lirias are protected by copyright, with all rights reserved.