Yep I think working in a language with full inference and just annotating a few non-obvious types to help out whoever’s reading the code is a really nice patter

Yep I think working in a language with full inference and just annotating a few non-obvious types to help out whoever’s reading the code is a really nice pattern. I learned functional programming at my last job with Ocaml, and did rely quite a bit on editor tooling to give the type of things which could have been annotated, so it’s definitely a tricky balance in teams. But I use Scala now and I wish it inferred types half as well, giving almost every type is really verbose and does feel like Java sometimes. The compiler speed is probably an issue for providing the same kind of tooling there though even if you could avoid giving most types. I guess I’m basically agreeing with you - the combination of an ultra fast compiler and complete type inference is amazing to work with.