There are clearly a myriad of problems contributing to the sense that "everything's broken", political, social and technical. Focusing purely on the technical a

There are clearly a myriad of problems contributing to the sense that "everything's broken", political, social and technical. Focusing purely on the technical aspect however, in particular how we write software, what has become of the promise of statically typed pure languages like Haskell? Can anyone elucidate on whether adopting this mode of development where software can be formally reasoned about has led to significantly fewer bugs in real-world software scenarios? Is the legacy of Smalltalk impeding progress? I ask this as a fairly average OO software developer that has found that despite being fastidious about keeping up with code coverage, bugs still present themselves all the same.