11 Jul
2003
11 Jul
'03
8:28 p.m.
On Fri, Jul 11, 2003 at 05:38:18PM +1000, Andrew J Bromage wrote:
G'day all.
On Thu, Jul 10, 2003 at 11:16:56PM -0700, Ashley Yakeley wrote:
As written, this is _not_ a good idea. Trust me, you end up having to put type annotations everywhere. Even (3 + 4 :: Integer) is ambiguous, you have to write (3 :: Integer) + (4 :: Integer).
But that's what default() is for!
Don't be silly: the default mechanism is a very special case that is not good for general use. It would make all user-defined numeric types essentially unuseable, for one thing. (Unless you have a proposal to make the default mechanism more general?) Peace, Dylan