home mail me! RSS (2.0) feed

embed_type - wrapping types in C++

This is a C++ library I created to be able to wrap types while specifying - in compile-time - what operations, if any, are to be preserved, i.e., what homomophisms should be injected into the wrapping type. One can view it as a very flexible type alias system.
I issued this library as an informal proposal [...]

gen_hierarchy - injecting base classes in C++

Would you like to generate a hierarchy of types on the fly using C++? Well, at least on-the-compilation-fly…
You could always use Andrei’s magnificent Loki library, or you could use my proposal, gen_hierarchy.
In short, I allow for two distinct types of hierarchies:

Spine-like, with the given types protruding as maximal elements on that spine.
A “simple” chain.

Let us [...]