next up previous
Next: Post-facto extensions Up: What are our requirements for Previous: Bounded genericity with dependent types

Inheritance

Recall that we need to implement algebraic structures like: ring, commutative ring, euclidean domain, field, ... Moreover we want to say that an euclidean domain is a commutative ring. Hence we want INHERITANCE BETWEEN INTERFACES. Of course we need also INHERITANCE BETWEEN CONCRETE CLASSES. For instance:


next up previous
Next: Post-facto extensions Up: What are our requirements for Previous: Bounded genericity with dependent types
Marc Moreno Maza
2004-04-27