It also emphasizes the importance of good tooling support: when using global inference it would be cool to always show the inferred types as a little semi-transparent text on the top...
Re:F# 3.1 as C# 6.0 Strict Mode
by seanmcdirmid on Saturday March 01, 2014 @09:47PM
(#7327465)
Global type inference is the ultimate goal, local type inference is the compromise.
Global type inference would generate documentation automatically, to some extent.
In my experience, local inference eliminates a lot of boilerplate and clutter, while global inference isn't so important, because writing types is good documentation as you zoom out from the details of functions.