<div dir="ltr">(Sending this again, as I forgot to include the list)<div><br></div><div><div dir="ltr">Hi Richard,<div><br></div><div>I think that's a good idea!<div><br></div><div>What about typeclass methods where totality / partiality depends on the instance like Foldable's foldl1? What do we mark partial in this case? The method declaration? The instance? Both?</div></div><div><br></div><div>Cheers,</div><div>Simon</div></div></div></div><br><div class="gmail_quote"><div dir="ltr">Am Fr., 31. Aug. 2018 um 02:13 Uhr schrieb Richard Eisenberg <<a href="mailto:rae@cs.brynmawr.edu">rae@cs.brynmawr.edu</a>>:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Just to clarify here: all I mean is that we should include the word "Partial" in the Haddock documentation -- no deprecation or warning, just documentation.<br>
<br>
Richard<br>
<br>
> On Aug 30, 2018, at 8:10 PM, Richard Eisenberg <<a href="mailto:rae@cs.brynmawr.edu" target="_blank">rae@cs.brynmawr.edu</a>> wrote:<br>
> <br>
> Proposal: Mark partial functions in `base` as partial<br>
> <br>
> Motivation: I'm about to teach Haskell to a classful of beginners. In my experience, they will soon reach for functions like `head` and `tail`, because pattern-matching is foreign to them. I would love just to be able to say "Don't use partial functions", but many students will not easily be able to tell partial functions from total ones.<br>
> <br>
> I do expect this problem to work itself out rather quickly, and then students will be able to identify partial functions, but loudly marking partial functions as partial seems like a small service to everyone and a bigger one to newbies. I don't see any downsides.<br>
> <br>
> Thoughts?<br>
> <br>
> Thanks,<br>
> Richard<br>
> _______________________________________________<br>
> Libraries mailing list<br>
> <a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
<br>
_______________________________________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries</a><br>
</blockquote></div>