how do i prove programs correct

does it really help to make bug-free programs? or was dijkstra full of crap?

Since Anders Hjellsberg created Typescript which gives Javascript static typing, I wonder if Typescript will be ported to other dynamically typed languages like Python and Ruby. That should eliminate a lot of testing that has to be done in dynamic languages