Monday, October 23, 2006

I need a name...

Virtual types/classes are very cool. I firmly believe that they are a "good thing" in the world of programming language design. Especially when combined with dependent types and you get the likes of vObj/VC/Tribe. Tres bien!

However, the trouble is, there are so many flavours: virtual types, virtual classes, nested types, nested classes, nested inheritance, family polymorphism, higher order hierarchies, virtual patterns... I want a name to describe the whole bunch of various flavours where a class or type may occur inside another class or object and there is some kind of inheritance, binding or subtyping between the 'inside' classes or types. Trouble is, all the good names (and permutations of names) have been taken...

2 comments:

Jim Bob said...

I was just thinking the same thing this morning whilst eating my shreddies

Jack Kelly said...

Lovin' the blog. Wish I could understand some of it. And I'm a bit gutted that Jim Bob beat me to it. Damn.

- Jack