Types: The Next Generation (Was: Why is phobos so wack?)

[Martin Nowak via Digitalmars-d]

On Sunday, 9 July 2017 at 20:22:16 UTC, Nick Sabalausky 
(Abscissa) wrote:
> SomeString fizzbar(RandomAccessRange!SomeNumeric r) {...}

Looks like concepts.

We've settled on leveraging the already useful template 
constraints (at best in CNF [¹]) for better error messages. It's 
on the Agenda for later this year [²].

[¹]: https://github.com/dlang/phobos/pull/5461
[²]: https://wiki.dlang.org/Vision/2017H2_draft