This is part of the reason why I like type driven programming because it forces you to suss out all those edge cases up front and avoid most major debt altogeth

This is part of the reason why I like type driven programming because it forces you to suss out all those edge cases up front and avoid most major debt altogether but it gets carried away too often. More of an ideal...