Magic type inference of ML languages How does type inference work in ML languages like standard-ML, OCAML, F#, Elm, Reason and even Haskell? Let’s call it Magic. How does this kind of magic work? We are going to take a look at the case of F# but once you learn…