Correctness – A paradigm for sustainable software development

The tide is turning in the industry with software engineers actively working more with languages and tools that let us be correct before we unleash what we’ve written upon the world. The thing you need to look at if you’re using say, a dynamic language, or object oriented design, is that in the long term, what is the language and mindset of “objects” with dynamic dispatch providing you apart from an endless stream of bugs that seem to keep reoccurring everytime you try an evolve the software to introduce a new requirement? However, the values of needing to “get stuff done, and quickly” or “move fast and break things” sound very much like, to some degree, they align with many businesses that operate in the world.

Source: nonullpointers.com