The dreaded M-R
carette at mcmaster.ca
Sun Jan 29 11:08:06 EST 2006
Lennart Augustsson wrote:
> Jacques Carette wrote:
>> Personally I think that this ought to be resolved by static means --
>> and yes, by the linker, as it can't be done properly earlier.
> But there are cases that cannot be resolved statically.
> On the other hand, they are probably rare enough to ignore.
There will always be some things that are impossible to do statically -
but we should still strive to do as many as possible, even if we are
forced to be incomplete about it. As long as the cases that can't be
done are relatively easy to define and occur rarely, that seems like a
good compromise to me.
More information about the Haskell-prime