"Depends" is a misnomer. There are exceptions when it "depends" but the overwhelming majority of programs written are not theory based at all. So much so. th

"Depends" is a misnomer. There are exceptions when it "depends" but the overwhelming majority of programs written are not theory based at all. So much so. that the alternative is negligible. The language compilers compile is theory based but the implementation of said compiler has a huge part of it getting unit tested and not theory based at all.