Edsger W. Dijkstra wrote an influential paper back in 1988 called On the cruelty of really teaching computing science, which advocated an approach strongly grounded in the study of formal systems. While I would be the first to admit that I am not fit to carry the late Dr.’s punch cards, I would say that [...]