In defense of understanding the theory of the program

This post is a critique on some Programming as Theory Building related points in Sean Goedecke’s post In defense of not understanding your codebase . I was sent a link to it by Valeri Karpov , who wanted to hear my thoughts on it. Goedecke’s post was an interesting and thought provoking read. What he writes is not wrong per-se, but I think the perspective in his post to what Peter Naur writes…