TypeFunction example: ImplictConvTargets

[John Colvin]

On Tuesday, 6 October 2020 at 12:32:17 UTC, claptrap wrote:
> On Tuesday, 6 October 2020 at 12:07:40 UTC, John Colvin wrote:
>> On Tuesday, 6 October 2020 at 10:22:44 UTC, Stefan Koch wrote:
>>> On Tuesday, 6 October 2020 at 01:12:01 UTC, Walter Bright 
>>> wrote:
>>>> [...]
>>>
>>> Okay let me show you the transitive dependencies of the "3 
>>> liner" suggested by Andrei and executed by Paul Backus.
>>>
>>> [...]
>>
>> That implementation was *definitely* (and very obviously) not 
>> created for simplicity. It can be done in way fewer lines than 
>> that (and you know that, obviously).
>
> Maybe "simple and concise" takes a lot more work to extract 
> from templates. I mean the type function version is so obvious 
> it's probably what a newbie would write, the simple concise 
> solution is the obvious one. Is the same true of the template / 
> mixin versions?  Or do you have to be a D sage to make it 
> palatable?

If you look at the history of std.meta you'll see it was me who 
recently made Filter so ugly, the previous version was simple but 
too slow.