[dureuill]

> But for those few cases you can add an annotation.

not in other people's code. My main concern is that gradual typing makes understanding other people's code more difficult.

Idiomatic Haskell warns against missing signatures[1], Rust makes them mandatory. Rather than global inference, local inference stopping at function boundaries is the future, if you ask me.

[1]: https://wiki.haskell.org/Type_signatures_as_good_style

[fire_lake]

Huh? If you are consuming code you can’t change from someone else, then I presume this is a published package? Then the IDE will tell you the types.