> Another thing we can learn from the past is the failure of characterizations like "Computing Science is really nothing but X", where for X you may substitute

> Another thing we can learn from the past is the failure of characterizations like "Computing Science is really nothing but X", where for X you may substitute your favourite discipline, such as numerical analysis, electrical engineering, automata theory, queuing theory, lambda calculus, discrete mathematics or proof theory. I mention this because of the current trend to equate computing science with constructive type theory or with category theory. https://www.cs.utexas.edu/~EWD/transcriptions/EWD12xx/EWD1243a.html https://www.cs.utexas.edu/~EWD/transcriptions/EWD12xx/EWD124...