You can't type things properly without considering the business logic. Once you have that figured out the correct logic comes easily. The compiler should be sp

You can't type things properly without considering the business logic. Once you have that figured out the correct logic comes easily. The compiler should be sparing you from wasting mental energy on menial things by telling you what to do, even when making large changes that would be disgustingly complicated in a dynamic language. If you feel like you're "catering to the compiler", then you're going about things wrong; because you're worrying about logic before nailing down the proper data structures.