Comment by terminatornet

one of my favorite talks on this topic, "Making Impossible States Impossible" by Richard Feldman:

https://www.youtube.com/watch?v=IcgmSRJHu_8

the talk is Elm lang focused, but the concepts still apply to other languages.