Treating Computer Science as a homogeneous, monolithic concept is probably a mistake. Asking whether lambda calculus or relational databases or compiler design

Treating Computer Science as a homogeneous, monolithic concept is probably a mistake. Asking whether lambda calculus or relational databases or compiler design are truer computer science is somewhat akin to asking whether algebra or topology or calculus is the truer math. The answer, in both cases, is "yes." The main difference between maths and computer science in this respect, if there is any, is that historically math has a divergent evolutionary path, starting as one discipline and spinning off subsystems, while computer science has a convergent evolutionary path, starting from the very different folds of math and electrical engineering and incrementally bringing the two sides closer together. Computational theory and formal verfication belong on the math side, compilers on the engineering side (Haskell being used in production code may be the final merging).