Talk:Requests for comment/Assert

Diversity
Personally, I don't like the different variants of assertions. The syntactic sugar of  is nice, but having to decide whether something is a precondition, a postcondition or an invariant feels like work :-).  Is   an assertion of the argument, a post-condition of the computation so far or a pre-condition of the following computation?  I don't think that being able to raise different exceptions (what to do with them?) is worth it.  --Tim&#160;Landscheidt 04:30, 25 January 2014 (UTC)