DIP 1009--Improve Contract Usability--Preliminary Review Round 2 Begins

[Moritz Maxeiner via Digitalmars-d]

On Tuesday, 25 July 2017 at 07:48:39 UTC, Andrea Fontana wrote:
> On Friday, 21 July 2017 at 13:51:05 UTC, Mike Parker wrote:
>> DIP 1009 is titled "Improve Contract Usability".
>>
>> https://github.com/dlang/DIPs/blob/master/DIPs/DIP1009.md
>>
>> Based on feedback from the first round, this DIP has been 
>> revised to the extent that a second preliminary review round 
>> is warranted.
>>
>> All review-related feedback on and discussion of the DIP 
>> should occur in this thread. The review period will end at 
>> 11:59 PM ET on August 4 (3:59 AM GMT August 5), or when I make 
>> a post declaring it complete.
>>
>> At the end of Round 2, if further review is deemed necessary, 
>> the DIP will be scheduled for another round. Otherwise, it 
>> will be queued for the formal review and evaluation by the 
>> language authors.
>>
>> Thanks in advance to all who participate.
>>
>> Destroy!
>
> I don't like it so much but also something like this could be 
> considered:
>
> out!(x => x>0)
> or maybe:
> out!x(x > 0)

W.r.t. `out!`: With `Identifier !` for template instantiations 
`Keyword !` would effectively make two things that look the same 
be completely different.
W.r.t. `=>`: See replies to [1]

[1] http://forum.dlang.org/post/oio796$k6e$1@digitalmars.com