Combinatorial Type Explosion: Nested Parameteric Types

[lmiq]

@Deduction42

but it may take me a while to code the “if statement” generator.

There is one example here: Macro to write function with many conditionals - #8 by Skoffer

That macro is a very instructive example, imo

@Deduction42

The reason why this “if statement” might be faster is because every type-argument going into each value-dispatched get_density function would be known constant at compile time, allowing the compiler to just insert the functions and compile. Am I correct in saying this?

Yes, that was the original motivation of that macro by the way.