Is there any static typing language that supports some kind of method inheritance? I imagine it to be like this: I write a code template that describes what is done to data and later derive from the method, giving it an data object to dispatch. Ideally that would happen with complete type checking, even on dynamic method calls. I don't know how to do that kind of stuff in object inheritance oriented programming languages. Is there anything like this out there or do I need to write it myself?