3 ms·F# and ocaml does that all the time using type inference.by mbrodersen 4y agoF# and ocaml does that all the time using type inference.