Keynote: The Future of Programming
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.
I started programming at the age of 10. My bother always hogged the computer, so I found my own out by the dumpster.
Many hours and burned CDs later, I had a working Ubuntu machine. Ever since, my life has involved programming,
whether that was skipping class in high school to go to the computer science room or reading Philip Wadler papers
until early hours of the morning.
I currently work at healthfinch where I do Clojure fulltime.