On Sun, Sep 23, 2018, 1:10 AM Marko Ristin-Kaufmann
wrote:
> One explanation that seems plausible to me is that many programmers are
> actually having a hard time with formalization and logic rules (*e.g.,
> *implication,
> quantifiers), maybe due to missing education (*e.g. *many programmers ar
Hi Marko,
I think there are several ways to approach this problem, though am not
weighing in on whether DbC is a good thing in Python. I wrote a simple
implementation of DbC which is currently a run-time checker. You could,
with the appropriate tooling, validate statically too (as with all
approac
> Date: Sun, 23 Sep 2018 07:09:37 +0200
> From: Marko Ristin-Kaufmann
> To: Python-Ideas
> Subject: [Python-ideas] Why is design-by-contracts not widely adopted?
[ munch ]
> *. *After properly reading about design-by-contract and getting deeper into
> the topic, there is no rational argument ag
Le 22/09/2018 à 20:27, James Lu a écrit :
> > To my mind, there is one very big reason we should be cautious about
> > adopting JS language-design policies, namely, that they have led to a
> > very, very poorly designed language. No doubt a good deal of that is
> > baggage from early stages in wh
