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

[Nick Sabalausky (Abscissa) via Digitalmars-d]

On 07/10/2017 09:16 AM, Martin Nowak wrote:
> 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
> 

Sounds nice.

But I'm getting the distinct impression people are missing that I never 
actually proposed that D itself should do this. It's just academic 
brainstorming.