Template talk:SubType
Jump to navigation
Jump to search
@Emw, TomT0m, Pasleim, Succu, Jakec: - Any idea why this is called SubType and not SubClass or "Subclass of", the latter in agreement with the structure in Template:Composed of and Template:Part of? SubType also looks as if it would be a "subtemplate" of Template:Type, but the latter is for instances and not classes. Tamawashi (talk) 14:54, 12 July 2014 (UTC)
- @Tamawashi: I created the template. I guess I was inspired from computer sciences types like type theory (Q1056428)
. In those theory, roughly speaking, classes are almost a synonym for type. Then a subclass of some class is also a subtype of this classes. But we can absolutely alias this template {{SubclassOf}}. TomT0m (talk) 15:55, 12 July 2014 (UTC)
