On Tue, Mar 24, 2009 at 3:28 PM, Luke Palmer <span dir="ltr"><<a href="mailto:lrpalmer@gmail.com">lrpalmer@gmail.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div class="im">On Tue, Mar 24, 2009 at 3:14 PM, Xiao-Yong Jin <span dir="ltr"><<a href="mailto:xj2106@columbia.edu" target="_blank">xj2106@columbia.edu</a>></span> wrote:<br></div><div class="gmail_quote"><div class="im">
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Jake McArthur <<a href="mailto:jake@pikewerks.com" target="_blank">jake@pikewerks.com</a>> writes:<br>
<br>
> Xiao-Yong Jin wrote:<br>
> | The problem is that there will be many functions using such<br>
> | a function to invert a matrix, making this inversion<br>
> | function return Either/Maybe or packing it in a monad is<br>
> | just a big headache.<br>
><br>
> I disagree. If you try to take the inverse of a noninvertable matrix,<br>
> this is an *error* in your code. Catching an error you created in pure<br>
> code and patching it with chewing gum it is just a hack. A monadic<br>
> approach (I'm putting Either/Maybe under the same umbrella for brevity)<br>
> is the only solution that makes any sense to me, and I don't think it's<br>
> ugly as you are making it out to be.<br>
><br>
<br>
Then, why is 'div' not of type 'a -> a -> ArithExceptionMonad a' ?<br>
Why does it throws this /ugly/ /error/ when it is applied to<br>
0? Why is it not using some beautiful<br>
'ArithExceptinoMonad'? Is 'Control.Exception' just pure<br>
/ugly/ and doesn't make any sense?</blockquote></div><div><br>It's a proof obligation, like using unsafePerformIO. It is "okay" to use unsafePerformIO when it exhibits purely functional semantics, but it's possible to use it incorrectly, and there is no ImpureSemanticsException. If you are being rigorous, you simply have to prove that the denominator will not be zero, rather than relying on it to be caught at runtime. You can move the check to runtime easily:<br>
<br>safeDiv x 0 = Nothing<br>safeDiv x y = Just (x `div` y)<br><br>Going the other way, from a runtime check to an obligation, is impossible.</div></div></blockquote><div><br>(well, except for div x y = fromJust (safeDiv x y).. but the runtime check is still there in terms of operation) <br>
</div></div><br>