I’m afraid I can no longer make any accurate statements about this. I very much enjoy using Scala and Haskell which both are excellent in this regard. When using Dart I was often surprised how things I took for granted do simply not work. That definitely involved type inference. Other things were surprisingly cumbersome (I believe anonymous functions fall into this category). Also the incremental edit/refresh Flutter compiler (if that is a thing) occasionally allowed me to deploy invalid code that a full clean & rebuild would have flagged as erroneous. This is of course not so much about the type system itself, but rather the tooling around it.