Re:Hindley-Milner Type Inference (2012)
by eru on Saturday July 11, 2020 @12:39AM
(#23799548)
Careful, there are multiple ways to use type inference.
In practice, many people use type inference when exploring and writing code; but then add explicit annotations for readability and documentation. You could even do the last step automatically.
In practice, many people use type inference when exploring and writing code; but then add explicit annotations for readability and documentation. You could even do the last step automatically.