Programming with Math (Exploring Type Theory)

As programs are getting more complex, it's time to go back to basics, to the old well tested approach to complexity called mathematics. Let compilers deal with the intricacies of Turing machines. Our strength is abstract thinking. Let's use it! EVENT: Øredev 2018 SPEAKER: Bartosz Milewski PERMISSIONS: Conference Organizer provided Coding Tech with the permission to republish this video. https://www.youtube.com/watch?v=8AGWTWVOJ74