3 ms·
What would you say is the usefulness and value of local inference vs global inference? In my experience, local inference eliminates a lot of boilerplate and cl
by judk 13y ago
What would you say is the usefulness and value of local inference vs global inference?
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.
- _random_ 13y agoIt 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...
- seanmcdirmid 13y agoGlobal type inference is the ultimate goal, local type inference is the compromise. Global type inference would generate documentation automatically, to some extent.