It depends on whether you actually want to know precisely what your code does. For me, that's essential to writing reliable software. In my view, one of the re

It depends on whether you actually want to know precisely what your code does. For me, that's essential to writing reliable software. In my view, one of the reasons why we consistently fail to produce reliable software is that we continue to use a language from the 1970s that makes it very hard to determine what the meaning of a program is.