All Episodes

February 16, 2021
One of the perennial challenges in software engineering is to reduce the opportunity for bugs to creep into the system. Some of the tools in our arsenal that help in this endeavor include rich type systems, static analysis, writing tests, well defined interfaces, and linting. Phillip Schanely created the CrossHair project in order to add another ally in the fight against broken code. It sits somewhere between type systems, automated test generation, and static analysis. In this episode he explains his motivation for creating it, how he uses it for his own projects, and how to start incorporating it into yours. He also discusses the utility of writing contracts for your functions, and the differences between property based testing and SMT solvers. This is an interesting and informative conversation about some of the more nuanced aspects of how to write well-behaved programs.
Share
Mark as Played

Chat About The Python Podcast.__init__

Advertise With Us

Popular Podcasts

Crime Junkie
Stuff You Should Know

Stuff You Should Know

If you've ever wanted to know about champagne, satanism, the Stonewall Uprising, chaos theory, LSD, El Nino, true crime and Rosa Parks then look no further. Josh and Chuck have you covered.

Fake Doctors, Real Friends with Zach and Donald

Fake Doctors, Real Friends with Zach and Donald

You know what's long, tedious and boring? Surgery. You know what isn't? This new podcast! Join Scrubs co-stars and real-life best friends Zach Braff and Donald Faison for a weekly comedy podcast where they relive the hit TV show, one episode at a time. Each week, these BFFs will discuss an episode of Scrubs, sharing behind-the-scenes stories and reminiscing on some of their favorite memories from filming. They’ll also connect with Scrubs super fans and feature beloved show cast members for exclusive interviews.

For You

    Music, radio and podcasts, all free. Listen online or download the iHeartRadio App.

    Connect

    © 2021 iHeartMedia, Inc.