#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

#85 Mark Seemann, Dependency Rejection, Part 2

Summary
Part two of a two part recording with Mark Seemann on dependency rejection.

Details
No mocking needed for unit testing, command query separation. Do you still use some DI in impure functions; partial applications, Mark is not a fan of DI containers and doesn't know of any for F#. Are partial functions functional, Haskell keeps its impure functions at the edge, "impure-pure-impure sandwich" sandwich - the origin of the word "sandwich", an example of a translator application, don't lose sight of the other tenets of programming, upcoming conferences.

Links
Mark's homepage

Monoids, semigroups, and friends blog posts.

Mark's upcoming conferences.

Download mp3 of podcast