++Phobos

[rikki cattermole]

On 20/10/2019 2:45 AM, Paul Backus wrote:
> On Saturday, 19 October 2019 at 02:57:33 UTC, rikki cattermole wrote:
>> auto:InputRange map(Args)(Args arg) { .. }
>>
>> A function that returns a value whose type conforms to the InputRange 
>> specification. This would significantly improve the documentation (as 
>> it cannot be done right now and people have tried to find a solution).
> 
> auto map(Args...)(Args arg)
>      out (result; isInputRange!(typeof(result)))
> do {
>      ...
> }

I am unsure how to respond to this.

Yes it works right now.

But that amount of syntax and the semantics that go along with it, does 
not inspire "ease of use" or "easy to understand" in me.