Julia however does not use Hindley-Milner[1]. I'm under the impression that HM is not compatible with multiple dispatch, which would be very unfortunate as type

Julia however does not use Hindley-Milner[1]. I'm under the impression that HM is not compatible with multiple dispatch, which would be very unfortunate as typeclasses can serve the same purpose while maintaining compatibility with HM. [1] https://stackoverflow.com/questions/28078089/is-julia-dynamically-typed https://stackoverflow.com/questions/28078089/is-julia-dynami...