TypeFunction example: ImplictConvTargets

[Ola Fosheim Grøstad]

On Wednesday, 7 October 2020 at 08:49:21 UTC, Patrick Schluter 
wrote:
> On Wednesday, 7 October 2020 at 02:33:21 UTC, Andrei 
> Alexandrescu wrote:

>> That's a made-up restriction, and it's odd that it is being 
>> discussed here as a virtue.
>
> No, it's not. It's central to the argument.

Exactly right. There comes a time when you try to do something 
that isn't covered by libraries,  what do you do then?

>> Beginners are attracted to large languages that have 
>> everything built in. A good language is focused on general 
>> primitives that allow writing a great deal in libraries.
>
> Then do lisp or forth but not D or C++.

Right again. Funtional programming is only pleasant in a 
dedicated FP language, and even then you need to memorize a large 
set of library constructs to be productive.

D could improve on FP, both language and performance, but adding 
type variables is a better cultural fit... (And Stefan is only 
putting forth a concept, not the end result)