[Haskell-cafe] Why were datatype contexts removed instead of "fixing them"?
alex.solla at gmail.com
Sun Apr 28 21:39:42 CEST 2013
On Sun, Apr 28, 2013 at 10:55 AM, gs <voldermort at hotmail.com> wrote:
> Alexander Solla <alex.solla <at> gmail.com> writes:
> > I do not support that criterion. We use theory to ENSURE that no
> real-world code will break.
> By theoretical example, I meant something which you would never expect to
> find in use. Perhaps it was a poor choice of wording in an academically
> orientated forum :-)
I understood that much.
The problem is there is no good way to know what code we should "expect".
Real world code might be "unexpected". Your criterion amounts to hoping
no real world code breaks.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe