#86 Tomas Petricek, Software Correctness

Summary
Tomas Petricek talks about software correctness, its history and future.

Details
Who he is and what he does, his book on F#. Alan Turing Institute. Software as an engineering discipline, software as art. History of errors in software, errors in hardware. Software was never in crisis. Using types to help with correctness, how different languages do it, some complications, a new language would be needed. Upcoming improvements in correctness. Other projects Tomas is involved in.

Links
Tomas' homepage

The Gamma: Tools for open data-driven storytelling

Salon des Refus├ęs 2018

Download mp3 of podcast