static map as a type function

[Paul Backus]

On Thursday, 24 September 2020 at 03:04:46 UTC, Stefan Koch wrote:
> On Thursday, 24 September 2020 at 02:42:00 UTC, Paul Backus 
> wrote:
>>
>> On the other hand, if you can fix recursive template bloat 
>> somehow (tail-call elimination?), you get good performance 
>> *and* nice code. It's the best of both worlds.
>
> good performance yes.
> But where is the nice code, when you are confined to recursive 
> templates?

I suppose whether you think recursion is pleasant or unpleasant 
is a matter of taste. Personally, I rather like it. :)