The words contained in this file might help you see if this file matches what you are looking for:

...Scala uniting functional and object oriented programming margus freudenthal december abstract is a language that incorporates features from both languages strongly statically typed this paper describes the main interesting of first such as member types mixin composition selftype annotation are targeted at creating independent compo nents can be composed to larger components second pattern matching popular feature in imple mentation also performed without expos ing implementation data type third implicit parameters methods used conveniently pass around context variables implementations various interfaces introduction general purpose integrates one important design con straint for its seamless integration with java jvm platform code called vice versa on hand tight needed gain wider acceptance other has quite big impact because all constructs must somehow map essence thought superset adds rst class closures currying better system traits covariant rest section presents very brief overview ...