EWD692: Dijkstra's Review of Backus's Turing Award Lecture [pdf]cs.utexas.edu 2 pointsziyao_w10 years ago1 commentSaveHideCopy link On HNComments−AnimalMuppet10yTypical EWD. He has his approach ("the postulational method"), and anyone who doesn't use it cannot really reason about programs and programming languages. It's especially funny to see EWD get so snotty about functional programming.
Comments
Typical EWD. He has his approach ("the postulational method"), and anyone who doesn't use it cannot really reason about programs and programming languages. It's especially funny to see EWD get so snotty about functional programming.