Re: [Haskell-beginners] Re: Enforcing Monad Laws

On 4 July 2010 16:41, Jorden M wrote:

On Sun, Jul 4, 2010 at 11:16 AM, Daniel Fischer 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