Software extension and integration with type classes

Ralf Lämmel, Klaus Ostermann
2006 Proceedings of the 5th international conference on Generative programming and component engineering - GPCE '06  
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
more » ... 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.
doi:10.1145/1173706.1173732 dblp:conf/gpce/LammelO06 fatcat:kbrikvuvp5a57mfz5du6dhfope