Feedback on Átila's Vision for D

[Sebastiaan Koppe]

On Wednesday, 16 October 2019 at 18:27:21 UTC, Paul Backus wrote:
> In that case, your algorithm will give false positives, which I 
> consider grounds for disqualification. For example:
>
> auto fun(T)(T arg) if (isA!T) { ... }
> auto fun(T)(T arg) if (isA!T && isA!T) { ... }

Haha. Yes, you are right. It would need to be a little more 
sophisticated.

>> This is a very alpha idea and far from a solution, it is just 
>> that I don't believe it can't be done.
>
> Obviously it can be done: C++ already does it. The question is 
> not *whether* the problem can be solved, but *which* of several 
> possible solutions is the best fit for D.

I apologize, I read in between the lines that you considered it 
impossible in D as it is now.