Comment by kellysutton

Now feels like a good time to mention the talk "Ideology" by Gary Bernhardt. https://www.destroyallsoftware.com/talks/ideology

Tests and Types are useful for preventing errors, but the types of errors they can prevent differ. You probably need both!