I've just fixed UFCS for the experimental type function branch

[Bruce Carneal]

On Thursday, 10 September 2020 at 15:14:00 UTC, Per Nordlöw wrote:
> On Thursday, 10 September 2020 at 09:43:34 UTC, Stefan Koch 
> wrote:
>> limited UFCS for type functions works again.
>
> Having type functions with UFCS is a significant improvement of 
> the developer experience aswell compared to having to use 
> templates.

Absolutely.  Functions are more readable, compose more readily, 
are easier to debug (better locality), and tickle fewer compiler 
problems than templates.  CTFE is a huge win overall, "it just 
works".

By contrast, when using D's pattern matching meta programming 
sub-language, things start out very nicely but rapidly progress 
to "it probably works, but you'll have a devil of a time 
debugging it if it actually doesn't, and you may not know that it 
doesn't for a few years, best of luck".

In a type function world we'll still need templates, we'll just 
need fewer of them.