[Haskell-cafe] Maintaining laziness
lemming at henning-thielemann.de
Mon Jan 12 08:37:39 EST 2009
On Mon, 12 Jan 2009, Jan Christiansen wrote:
>> Although it seems to be overkill for a single module - How about a
>> cabalized version on Hackage and a darcs repository? It would simplify
>> using and updating it.
> I am not sure whether this would be a good idea. The original version makes a
> lot of suggestions which are not satisfiable but it is not at all trivial to
> decide which are satisfiable and which are not. I have rewritten StrictCheck
> from scratch to overcome this problem. But the current implementation is not
> presentable right now and I have no formal prove that the criterion that I am
> using is correct.
As I said, the current version is already very useful. I have applied it
to several basic functions and found a lot to improve.
More information about the Haskell-Cafe