Why is this a problem? It's trivial for any editor to just display the return type. How is the lack of type inference a feature? Type inference makes a statical

Why is this a problem? It's trivial for any editor to just display the return type. How is the lack of type inference a feature? Type inference makes a statically type language so much better. For example, in OCaml it is rare to ever implicitly define the return type of a function, and it's never caused my any problems. If I need to see the return type, I just C-c C-t and it's displayed for me.