Re: Making preconditions better specified and faster

2016-12-18 Thread deadalnix via Digitalmars-d
On Friday, 16 December 2016 at 10:28:03 UTC, qznc wrote: On Thursday, 15 December 2016 at 18:48:22 UTC, Andrei Alexandrescu wrote: https://issues.dlang.org/show_bug.cgi?id=16975 Whenever I think about preconditions and speed, I think that they should actually be put into the caller instead

Re: Making preconditions better specified and faster

2016-12-18 Thread Caspar Kielwein via Digitalmars-d
On Sunday, 18 December 2016 at 21:58:57 UTC, Andrei Alexandrescu wrote: On 12/18/2016 04:24 PM, Caspar Kielwein wrote: On Sunday, 18 December 2016 at 10:47:42 UTC, Stefan Koch wrote: On Sunday, 18 December 2016 at 09:32:53 UTC, Caspar Kielwein wrote: On Thursday, 15 December 2016 at 18:48:22

Re: Making preconditions better specified and faster

2016-12-18 Thread Andrei Alexandrescu via Digitalmars-d
On 12/18/2016 04:24 PM, Caspar Kielwein wrote: On Sunday, 18 December 2016 at 10:47:42 UTC, Stefan Koch wrote: On Sunday, 18 December 2016 at 09:32:53 UTC, Caspar Kielwein wrote: On Thursday, 15 December 2016 at 18:48:22 UTC, Andrei Alexandrescu wrote:

Re: Making preconditions better specified and faster

2016-12-18 Thread Caspar Kielwein via Digitalmars-d
On Sunday, 18 December 2016 at 10:47:42 UTC, Stefan Koch wrote: On Sunday, 18 December 2016 at 09:32:53 UTC, Caspar Kielwein wrote: On Thursday, 15 December 2016 at 18:48:22 UTC, Andrei Alexandrescu wrote: https://issues.dlang.org/show_bug.cgi?id=16975 I'd love if preconditions where

Re: Making preconditions better specified and faster

2016-12-18 Thread Stefan Koch via Digitalmars-d
On Sunday, 18 December 2016 at 09:32:53 UTC, Caspar Kielwein wrote: On Thursday, 15 December 2016 at 18:48:22 UTC, Andrei Alexandrescu wrote: https://issues.dlang.org/show_bug.cgi?id=16975 I'd love if preconditions where available at the caller. This would make it possible to use

Re: Making preconditions better specified and faster

2016-12-18 Thread Caspar Kielwein via Digitalmars-d
On Thursday, 15 December 2016 at 18:48:22 UTC, Andrei Alexandrescu wrote: https://issues.dlang.org/show_bug.cgi?id=16975 I like it. It's a step in the right direction of making contracts more powerful. I'd love if preconditions where available at the caller. This would make it possible to

Re: Making preconditions better specified and faster

2016-12-16 Thread Marco Leise via Digitalmars-d
Am Thu, 15 Dec 2016 13:48:22 -0500 schrieb Andrei Alexandrescu : > https://issues.dlang.org/show_bug.cgi?id=16975 Here is what I understood. While currently a contract that has a failing assert would be treated differently from one that throws an exception, in the

Re: Making preconditions better specified and faster

2016-12-16 Thread qznc via Digitalmars-d
On Thursday, 15 December 2016 at 18:48:22 UTC, Andrei Alexandrescu wrote: https://issues.dlang.org/show_bug.cgi?id=16975 Whenever I think about preconditions and speed, I think that they should actually be put into the caller instead of into the function/callee. The chance that

Making preconditions better specified and faster

2016-12-15 Thread Andrei Alexandrescu via Digitalmars-d
https://issues.dlang.org/show_bug.cgi?id=16975