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 | 5701 reads
|
Browse archives
Active forum topics |
Recent comments
12 weeks 1 day ago
12 weeks 1 day ago
12 weeks 1 day ago
34 weeks 2 days ago
38 weeks 4 days ago
40 weeks 2 days ago
40 weeks 2 days ago
42 weeks 6 days ago
47 weeks 4 days ago
47 weeks 4 days ago