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...
4 comments:
I was just thinking the same thing this morning whilst eating my shreddies
Remarkable! The way you produce your content I like it!
Best Cosmetic Surgeon Meerut
Best ENT Centre in Meerut
Best International School in Ghaziabad
Best Private School in West UP
Hearing loss treatment in Meerut
niceOne of the most prominent businesses in the Body Massage Centres is izspa Spa, hyderabad. You may also be interested in Body Massage Centres, Massage Centres For Men And Women and Beauty Spas.
Our spirit finds its regeneration in positive touch and can be renewed through touch. A giver’s touch
reflects their spirit as does the receiver’s ability and openness to receive it.
Post a Comment