Clear defensive programming with Go using Verifier library
The more I read these things the more I believe that contract systems like clojure.spec and strong type systems&#x2F;contracts like ADA were too much advanced for its time... golang is just above the stone age of programming languages... better than assembly barely above C,...<p>Some days I even believe that by promoting developer&#x27;s mental laziness to not learn new paradigms&#x2F;more advanced languages&#x2F;technical systems we are just delaying the progress of humanity.<p>EDIT: advanced for its age -&gt; advanced for its time