Portal de Periódicos da CAPES

Lightweight parametric polymorphism for Oberon

1997; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-62599-2_36

1611-3349

Paul Roe, Clemens Szyperski,

Software Testing and Debugging Techniques

Strongly typed polymorphism is necessary for expressing safe reusable code. Two orthogonal forms of polymorphism exist: inclusion and parametric, the Oberon language only supports the former. We describe a simple extension to Oberon to support parametric polymorphism. The extension is in keeping with the Oberon language: it is simple and has an explicit cost. In the paper we motivate the need for parametric polymorphism and describe an implementation in terms of translating extended Oberon to standard Oberon.