As professional developers, most of our time is spent thinking about the near future. We are cemented into our current workflow by policy, social cohesion, or pragmatic considerations. While we may be constantly seeking to improve, new tools and libraries come with a certain amount of cost. It is simply not practical to completely change the way we are doing things and so we end up with small incremental improvements.
We will look at what could happen if we gave up these small incremental improvements and looked at radically different ways of programming. We will explore three languages that cast a particular vision of programmings future. The first, Idris, explores the idea of code that can guarantee that is free of all sorts of bugs. With Idris, we may in the future be able to have a proof that our program is secure. Next we will explore Unison, a language that allows us to control thousand of machines in just a few lines of code. No longer would we need microservices, a new service is a just a line of code away. Finally we will look at Eve, an experiment in language design that asks what our programs would be like if 1) code ordering didn't matter 2) all our programs were edited live 3) we could write the same systems in order of magnitude less code and less time.