That's the thing, there were no details, it was a caricature.
I've never heard of a person rewriting COBOL into Lisp in 2015. But I do personally know people who write Coq proofs and care about differences between strengths of various grammars.
Maybe that's the problem - that part came too close to reality and triggered people's spidey senses.
I've never heard of a person rewriting COBOL into Lisp in 2015. But I do personally know people who write Coq proofs and care about differences between strengths of various grammars.
Maybe that's the problem - that part came too close to reality and triggered people's spidey senses.