in reply to Programming is more like:

Programming is harder than rocket science, because it still doesn't have a firm mathematical machinery behind it. Yes, there is lambda calculus and other calculi, theory of infinite and finite automata, Boolean algebra, and other strands in mathematics that define the entire field. But what we miss is useful things rocket engineers can use: analysis and algebra. Set up the initial conditions and requirements as equations, and derive a solution, for instance (say) solving Newton's laws of motion for an accelerating rocket engine. We don't have any of that, much less laws of motion.

There are several reasons why there is no such thing:

So even if you tried to be precise about the requirements, you will be swamped by (unnecessary) detail and complexity. Perhaps we just need to develop better abstractions.

print "Just Another Perl Adept\n";