Every element, however deeply nested, needs to be cast, and miscasting leads to endless errors, elsewhere in the code. But these aren't needless errors. If som

Every element, however deeply nested, needs to be cast, and miscasting leads to endless errors, elsewhere in the code. But these aren't needless errors. If something is not of the type that you expect, there should be an error, and static typing makes this more explicit. The verbosity is more to do with that particular implementation, not anything inherent to static type systems.