Ideology

Destroy All Software

Content

Screencasts

Execute Program

Programmer's Compendium

Conference Talks

Account

Sign In

Sign Up

Company

Blog

Contact

Privacy Policy

FAQ

EULA

Ideology

A talk by Gary Bernhardt from Strange Loop 2015

Some people claim that unit tests make type systems unnecessary: "types are just simple unit tests written for you, and simple unit tests aren't the important ones". Other people claim that type systems make unit tests unnecessary: "dynamic languages only need unit tests because they don't have type systems." What's going on here? These can't both be right. We'll use this example and a couple others to explore the unknown beliefs that structure our understanding of the world.

If you liked this, you might also like Execute Program: interactive courses on TypeScript, Modern JavaScript, SQL, regular expressions, and more.<br>Each course is made up of hundreds of interactive code examples running live in your browser.

Content

Screencasts

Execute Program

Programmer's Compendium

Conference Talks

Account

Sign In

Sign Up

Company

Blog

Contact

Privacy Policy

FAQ

EULA