Traits are a well-known simple, but powerful compositional model for reuse. Although traits already implemented in dynamically typed languages, they’re not yet practically realized in statically typed languages. Typing traits and adapting the model to these languages is more complex to achieve. We report on our experience and practical re- search implementing traits in CSharp 2.0, concerning generics. We show the difficulties and possible solutions of typing and parameterizing traits in generally, possible enhancements for statically typed languages as well as adapting traits to CSharp regarding features like overriding and hiding. The main focus of this work is on identifying interesting and important aspects of introducing traits to CSharp. We also identify required and optional features for statically typed languages as well as conflict situations. The implementation presented in this paper is a simple prototype (a preprocessor) based on the trait flattening property. It is meant to be a study case for a clean implementation. The main problem concerning traits and statically typed languages like CSharp is about typing traits and to keep the ability to share code easily. Many approaches already exist in theory. This practical work contributes to the research about traits by presenting a simple prototype, showing the possibilities and dif- ficulties in integrating traits in statically typed languages.

» Free PDF eBooks Download
» Tutorial Programming CSharp