Beyond the veil: What's after type functions

[Ola Fosheim Grøstad]

On Monday, 4 January 2021 at 20:37:46 UTC, Stefan Koch wrote:
> On Monday, 4 January 2021 at 19:30:31 UTC, Stefan Koch wrote:
>> Good Evening, [....]
>
>
> I just realized one of the key differences between type 
> functions and templates.
>
> type functions are more declarative than templates which are 
> more generative.

Hm... I would have thought that a template would be more 
declarative?

Anyway, if you allow loops then it isn't declarative. Meaning, it 
will cause problems if you use it for deduction.