Date: Fri, 24 Sep 2021 20:44:08 +0300
On Fri, 24 Sept 2021 at 19:49, Gabriel Dos Reis <gdr_at_[hidden]> wrote:
>
> That scenario fails to satisfy the "well-formed program" predicate in my original message:
>
> >> Finally, for a well-formed program with well-defined behavior fed with the correct data, ignoring contracts (with diagnostics, if one wishes) would be a correct (if poor quality) implementation.
>
> 😊
"Ignore" starts to seem like a Really Bad Name for this, if you ask me.
>
> That scenario fails to satisfy the "well-formed program" predicate in my original message:
>
> >> Finally, for a well-formed program with well-defined behavior fed with the correct data, ignoring contracts (with diagnostics, if one wishes) would be a correct (if poor quality) implementation.
>
> 😊
"Ignore" starts to seem like a Really Bad Name for this, if you ask me.
Received on 2021-09-24 12:44:21