Associated types and constraint propagation for generic programming in Scala
- First Online:
- Cite this article as:
- Pelenitsyn, A. Program Comput Soft (2015) 41: 224. doi:10.1134/S0361768815040064
- 44 Downloads
Generic programming is a programming paradigm for creation of highly resuable software components through decoupling algorithms from specific data structures which are being processed. The rise of research on ways of handling generic programming in various programming languages took place last years. We analyze and develop a number of generic programming features, in particular associated types and constraint propagation, for the Scala programming language designed by Martin Odersky in École Polytechnique Fédérale de Lausanne.