Re:What is Hindley-Milner and why is it cool? (2008)
by goatlover on Sunday August 20, 2017 @05:55PM
(#15060435)
But then again, Julia is a relatively new language that aims for high performance in scientific computing while using type inference. Helps to have multiple dispatch that tells you how many definitions there are for a function.
[ Parent
| on HN ]
Re:What is Hindley-Milner and why is it cool? (2008)
by tbenst on Sunday August 20, 2017 @06:02PM
(#15060467)
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-dynami...