Software extension and integration with type classes

Authors:
Ralf Lämmel;Klaus Ostermann
Affiliations:
Microsoft Corporation;Darmstadt University of Technology, Germany
Venue:
Proceedings of the 5th international conference on Generative programming and component engineering
Year:
2006

Citing 41
Cited 8

How to make ad-hoc polymorphism less ad hoc

POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
When objects collide experiences with reusing multiple class hierarchies

OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Parametric type classes

LFP '92 Proceedings of the 1992 ACM conference on LISP and functional programming
Combination of inheritance hierarchies

OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
A theory of qualified types

ESOP'92 Symposium proceedings on 4th European symposium on programming
A system of constructor classes: overloading and implicit higher-order polymorphism

FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Subject-oriented programming: a critique of pure objects

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Polymorphic type inference and abstract data types

ACM Transactions on Programming Languages and Systems (TOPLAS)
Type classes in Haskell

ACM Transactions on Programming Languages and Systems (TOPLAS)
On binary methods

Theory and Practice of Object Systems - Special issue: type systems
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Adaptive plug-and-play components for evolutionary software development

Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
N degrees of separation: multi-dimensional separation of concerns

Proceedings of the 21st international conference on Software engineering
Framework integration problems, causes, solutions

Communications of the ACM
MultiJava: modular open classes and symmetric multiple dispatch for Java

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Modular typechecking for hierarchically extensible datatypes and functions

Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Integrating independent components with on-demand remodularization

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Conquering aspects with Caesar

Proceedings of the 2nd international conference on Aspect-oriented software development
Parametric Overloading in Polymorphic Programming Languages

ESOP '88 Proceedings of the 2nd European Symposium on Programming
Object-Oriented Multi-Methods in Cecil

ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
Integrating Independently-Developed Components in Object-Oriented Languages

ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Implementing Layered Designs with Mixin Layers

ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Family Polymorphism

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Enterprise frameworks: issues and research directions

Software—Practice & Experience - Special issue: Enterprise frameworks
A comparative study of language support for generic programming

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Faking it Simulating dependent types in Haskell

Journal of Functional Programming
Functional pearl: implicit configurations--or, type classes reflect the values of types

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Strongly typed heterogeneous collections

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
Associated types with class

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Essential language support for generic programming

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Associated type synonyms

Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Scalable component abstractions

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Classbox/J: controlling the scope of change in Java

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A virtual class calculus

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Traits: A mechanism for fine-grained reuse

ACM Transactions on Programming Languages and Systems (TOPLAS)
Open data types and open functions

Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Evaluating support for features in advanced modularization technologies

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Language requirements for large-scale generic libraries

GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
An overview of caesarj

Transactions on Aspect-Oriented Software Development I

Library composition and adaptation using c++ concepts

GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Dependent classes

Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
JavaGI in the battlefield: practical experience with generalized interfaces

GPCE '09 Proceedings of the eighth international conference on Generative programming and component engineering
Programming with C++ concepts

Science of Computer Programming
Type classes as objects and implicits

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
JavaGI: The Interaction of Type Classes with Interfaces and Inheritance

ACM Transactions on Programming Languages and Systems (TOPLAS)
A generic abstract syntax model for embedded languages

Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
JavaGI: generalized interfaces for java

ECOOP'07 Proceedings of the 21st European conference on Object-Oriented Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

The abilities to extend a software module and to integrate a software module into an existing software system without changing existing source code are fundamental challenges in software engineering and programming-language design. We reconsider these challenges at the level of language expressiveness, by using the language concept of type classes, as it is available in the functional programming language Haskell. A detailed comparison with related work shows that type classes provide a powerful framework in which solutions to known software extension and integration problems can be provided. We also pinpoint several limitations of type classes in this context.