[Haskell-beginners] Re: Enforcing Monad Laws

[Ozgur Akgun]

On 4 July 2010 16:41, Jorden M <jrm8005 at gmail.com> wrote:

> On Sun, Jul 4, 2010 at 11:16 AM, Daniel Fischer
> <daniel.is.fischer at web.de> wrote:
> > On Sunday 04 July 2010 16:05:48, Jorden M wrote:
> >> > Now that I've had a really short look at Axioms, I think the Haskell
> >> > equivalent would be QuickCheck properties. After all, Axioms are not
> >> > enforced by the compiler, their only effect is documentation. Granted,
> >> > they
> >>
> >> Really? I thought they were.
> >>
> >
> > I think that's not even possible in general.
>
> It would equate to solving the Halting Problem, I suppose.


Nope, it would just take long (ok, very long) to compute. Halting problem is
undecidable in general.

-- 
Ozgur Akgun
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/beginners/attachments/20100719/732a1b51/attachment-0001.html