#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

comments powered by Disqus

Related