#86 Tomas Petricek, Software Correctness
from no dogma podcast Hosted by no dogma podcast
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.
Embed this episode
No transcript yet.
Frequently asked questions
How long is this episode of no dogma podcast?
This episode is 42 minutes long.
When was this no dogma podcast episode published?
This episode was published on December 19, 2017.
Can I download this no dogma podcast episode?
Yes. Use the download control on the episode player to save the publisher-provided media file.