This. If you're writing code before having at least thought out a preliminary solution, you're doing it wrong. Types let you codify your idea, and then make su

This. If you're writing code before having at least thought out a preliminary solution, you're doing it wrong. Types let you codify your idea, and then make sure your implementation aligns with it as you write it.