Lirias: Type Constructor Polymorphism for Scala: Theory and Practice

Loading...
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.

Copyright © KU Leuven | Comments on this page: Research Coordination Office Production: @mire & LIBIS | Disclaimer | Log in

Loading...

Lirias: Type Constructor Polymorphism for Scala: Theory and Practice

Contact Who's who Organisational chart Libraries Toledo Intranet KU Leuven Nederlands EDUCATION RESEARCH ADMISSIONS LIVING IN LEUVEN ABOUT KU LEU...

81KB Sizes 5 Downloads 15 Views

Recommend Documents

Type Constructor Polymorphism for Scala: Theory and - CiteSeerX
We generalised Scala's support for parametric poly- morphism to the higher-order case, as this additional power turns ou

Great Intro for Type Constructor Polymorphism in Scala « GridGain
Jan 16, 2011 - Moors explaining how Type Constructor Polymorphism (Higher-Kinded Types) was used in designing Scala 2.8

Higher Order abstractions in Scala with Type Constructor Polymorphism
Jan 4, 2009 - Abstractions at a higher level through type constructor polymorphism. Good type systems are expressive eno

Scala constructor overload? - W3Cgeek
How do you provide overloaded constructors in Scala? Overload constructor for Scala's Case Classes? In Scala 2.8 is ther

Constructor injection in Scala | subtype
Oct 6, 2011 - Scala allows to perform implicit constructor injection in quite elegant manner. This is should not be noth

Scala : not enough arguments for constructor
Aug 13, 2012 - not enough arguments for constructor : ( ) Here Im trying to create new Object from case class in scala,

Describe constructor overloading in Scala
Describe constructor overloading in Scala | ResearchGate, the professional network for scientists.

Constructor Function: Scala - DZone Java
May 24, 2016 - Given that Scala is a functional language (object/functional, really), building a Constructor Function in

Constructor in Scala | SAP Blogs
Dec 5, 2015 - Note: This blog is written based on Scala 2.11.7. Any codes directly written in the class implementation i

Constructor in Scala | Selvakumar's blog
Mar 7, 2017 - Even-though everyone think Java and Scala is similar but both are unique and different in various aspects.