<div dir="ltr">Michael and I came up with an approach of using a convention in mono-traversable where any partial function has the postfix `Ex`, which stands for (throws a pure) Exception. So there is a `headEx` and `tailEx` function. This is a very light-weight solution although it is certainly easy for someone to ignore a new naming convention.<div><br><div>The automated warning stuff seems promising!</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Feb 24, 2015 at 7:14 AM, Gregory Collins <span dir="ltr"><<a href="mailto:greg@gregorycollins.net" target="_blank">greg@gregorycollins.net</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote"><span class="">On Mon, Feb 23, 2015 at 10:19 PM, Chris Allen <span dir="ltr"><<a href="mailto:cma@bitemyapp.com" target="_blank">cma@bitemyapp.com</a>></span> wrote:<br></span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="overflow:hidden"><span class="">Just a quick look on Github, filtering for uses of fromJust rather than re-declarations (mostly), shows 9,418 uses.<br></span>...<span class=""><br>
Searching for imports of Data.Maybe alone come to 19,985, indicating that at least ~half of the time people import Data.Maybe, they're using fromJust.</span></div></blockquote></div><br>Are you guys crazy?! I don't like partial functions either, but forget the -1, I vote to nuke this thread from orbit.<br><br>I'm +1 to adding warning pragmas to the prelude's partial functions, however.<span class="HOEnZb"><font color="#888888"><br clear="all"><div><br></div><div>G</div>-- <br><div>Gregory Collins <<a href="mailto:greg@gregorycollins.net" target="_blank">greg@gregorycollins.net</a>></div>
</font></span></div></div>
<br>_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br></blockquote></div><br></div>