News for hackers. Stuff that matters.
Re:Diminishing returns of static typing by catnaroek on Tuesday October 03, 2017 @07:38AM (#15391673)
0. Trapping the error doesn't make your program any less wrong. I agree that `assert` is equally useless.

1. With pencil and paper, you don't need to wait for a smart compiler - you can get started proving things about your programs today!

2. I can totally see what's coming next: “Being wrong is dual to being right, so being wrong is another possibility worth exploring”. Right?

> Meta: (slander)

No comment.

There are no comments on this comment yet.