@mdhughes @screwtape @smlckz @sektor @clew @eduardoochs @dougmerritt
The point is not that static type checking is omnipotent: it isn't, of course.
The point is that it catches _very many_ mistakes that programmers are _prone_ to make.
I say again: mistakes that are _often_ made, not all that can be made _in principle_.
> function addints(int x, int y) : int { return 3; }
This is too trivial.
Warning: variable declared but never used.