Beyond the veil: What's after type functions

Wed Jan 6 14:20:05 UTC 2021

On Wednesday, 6 January 2021 at 14:12:57 UTC, Ola Fosheim Grøstad 
wrote:
> 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.

Unless you constrain the loops in such a way that you can easily 
turn them into some kind of recursion.