Overlapping, undecidable, incoherent -- or worse?
ozone at algorithm.com.au
Fri May 21 17:55:11 EDT 2004
On 21/05/2004, at 8:06 AM, MR K P SCHUPKE wrote:
>> I pointed out that the type system _may already_ not terminate
> I agree, I have made it not terminate myself with
> I also think prolog style backtacking would be a good idea...
For what it's worth, I'll AOL this ("me too"). I know that for the
area of Haskell I'm exploring (integrating it with OO languages),
putting backtracking into the type system would instantly enable us
solve some significant problems.
There are other people besides me who would like it too (e.g. Brandon
Michael Moore, and of course, Alex), so I think it's a feature which
would be welcome. As always though, it's really a question of whether
the time and extra complexity in the compiler is worth the trade-off.
(My vote would be yes, oddly enough :-).
% Andre Pang : trust.in.love.to.save
More information about the Glasgow-haskell-users