> C++, Java, Dlang, C# etc don't allow this either... But IMSHO (in my humble > stupid option) it would still be a good idea.
Ada allows overloading on return type, but doesn't have type inference or implicit converters, which complicate things quite a bit. I get the impression that Araq is quite familiar with Ada, so I think the omission of this feature is a well considered decision, not an oversight on his part. I'm a fan of the feature in Ada, but I think the right decision was made for Nim.
