Re: In precision typing we trust

["Björn Persson" <Bjorn@xn--rombobjrn-67a.se>]

Lawrence D’Oliveiro wrote:
> Shouldn’t your test harness have had something like
> 
>     assert isinstance(result_of_test, bool), \

Nope. The Python interpreter should, at a minimum, have done that as
part of its implementation of the if statement. But you already
understood that much; you're just wilfully refusing to get the point.

A better design would have checked the type at compile time. Then the
tester who wrote "false" would have fixed their mistake right away, and
learned from it. I mean, you do know which newsgroup it is you're
promoting Python in.

Programmers are human. Humans make mistakes. A well-designed
programming language helps the programmer avoid mistakes as much as
possible, and to discover their mistakes as early as possible.
Languages that go out of their way to interpret an obvious mistake as a
valid program are prone to what Paul called disaster.

Björn Persson