Comment by sixstringtheory

Nice quotes. The first one is how I think about programming languages as well. We've moved from binary/punchcards, to assembly, to imperative and declarative layers, to OO/functional code that can be statically analyzed, and systems designs that can be automatically verified. There's all sorts of memory management tools from manual allocation and freeing, to garbage collection and reference counting, and optionals to avoid nulls that can be statically checked. Each thing has solved entire classes of problems and we're getting more and more software solving different kinds of problems, faster.