Despite traces of interesting ideas -- spreadsheets are underappreciated, so is Multics -- this article is full of hot air. It implicitly equates Haskell with functional programming. It hypes HOTT but doesn't explain. It bashes West Coast programming culture for being short sighted and money hungry, while praising the finance industry. (Who are never short sighted or money hungry?) Worst of all, it name-checks a bunch of category theory lingo but doesn't do anything with it besides try to look smart.
Actually, the worst thing about this article isn't the hot air. The worst thing is that I think I would agree with it, if it had ever managed to get to the point.