spotifyovercastrssapple-podcasts

The talks

Dealing with Impossible States

  • Building up a "truth table" of possible states (see Evan's guide Types as Sets)
  • Which rows are invalid?
  • Create a new type with only the valid ones possible

More references