User loginNavigation |
Question on terminologyIs there a generic term for deriving lower-order concept form a higher-order concept? I'll illustrate this question with the following example: A language has concept of class. A class is 'defined' by notion: class myclass ...; A class is instantiated by notion myclass myvar = new myclass(); Instance of a class is an object and it appears to be a first-order concept. A particular class is a second-order concept, and 'class' as a notion of a class concept is a third-order concept. In MPS their are giving ability to "define" (?) third-order concepts with notion of fourth-order concept noted as "concept", e.g.: concept class; Thus, we may say that in each of these examples a lower-order concept is "derived" from a higher-order concept. What is the right term for this act? By hutorny at 2006-10-19 14:34 | LtU Forum | previous forum topic | next forum topic | other blogs | 5801 reads
|
Browse archives
Active forum topics |
Recent comments
36 weeks 6 days ago
36 weeks 6 days ago
36 weeks 6 days ago
1 year 6 weeks ago
1 year 11 weeks ago
1 year 12 weeks ago
1 year 12 weeks ago
1 year 15 weeks ago
1 year 20 weeks ago
1 year 20 weeks ago