You basically have to accept the relatively small, upfront cost of verbose declarations for these sorts of things in exchange for the lack of headaches + bugs y

You basically have to accept the relatively small, upfront cost of verbose declarations for these sorts of things in exchange for the lack of headaches + bugs you wind up with later. Or not, you can also choose not to write these kinds of languages and nobody can blame you -- to each their own.