Overloading plus Hindley-Milner like type inference is NP-complete and Nim focuses on overloading. I have never regretted this decision in my life. ;-)
More type inference is not necessarily good: "I have to type less" has to be weighted against "error messages are more mysterious than ever". > Part of the question is also whether how close Nim is to bidirectional typing > cause I've been dreaming about that for a long time. It's far away.
