When Code Guarantees Are Checked

As with many programmers, as my career has progressed I&rsquo;ve come to&#xA;appreciate the utility of &ldquo;compile time checking&rdquo;. I don&rsquo;t ever want&#xA;to go back to a language where it is hard to verify constraints are&#xA;checked at compile time. &#xA; Followers of this blog may know that I do a lot of programming in Go,&#xA;and find it hard to square that attitude with the use…