A general approach to concepts in programming languages is called, obviously enough, concept programming. See http://xlr.sourceforge.net/Concept%20Programming%2

A general approach to concepts in programming languages is called, obviously enough, concept programming. See http://xlr.sourceforge.net/Concept%20Programming%20Presentation.pdf http://xlr.sourceforge.net/Concept%20Programming%20Presentat... or http://en.wikipedia.org/wiki/Concept_programming http://en.wikipedia.org/wiki/Concept_programming for more info.