The future of software, the end of apps, and why UX designers should care about type theory http://t.co/nwvy178kFR