My only experience with gradual typing is in Dart and I was surprised that I got runtime errors around types that should have been correct. I don't follow Types

My only experience with gradual typing is in Dart and I was surprised that I got runtime errors around types that should have been correct. I don't follow Typescript but guessing its a wild success because it checks your types and gradual typing is a way to incrementally adopt the language. Regarding wasting time, type inference takes a lot of boilerplate out of the strictly typed code.