18 Nov
2006
18 Nov
'06
11:07 p.m.
Hi
This brings up something that's been niggling me for a while. Why can Hat not deal with defaulting? Surely it could be handled by the first stage of hat-trans being inserting explicit type signatures based on the standard defaulting rules?
Bob
That would require hat-trans to do type checking, wouldn't it?
One idea that _might_ work is to translate Int -> Integer, then you get rid of defaulting integers, at the cost of changing the program semantics ever so slightly. Personally I'd say the cost is more than worth it, but I know some of the Hat developers disagree with me on that. Thanks Neil