<div dir="ltr">Where is Pointed supposed to live in the hierarchy? For instance, someone mentioned Set. But Set is not eligible to have a Functor instance.<br><br>So do we just have Pointed type functions that aren't necessarily Functors? And if they are Functors/Applicatives/Monads they're supposed to behave nicely?<br>
<br>And if not, then several collections are excluded from being Pointed, and I'm not entirely sure which collections you're using. Just many different sequence types?<br><div class="gmail_extra"><br><br><div class="gmail_quote">
On Fri, May 24, 2013 at 1:02 PM, Andreas Abel <span dir="ltr"><<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I do not use Pointed a lot, but a situation where it comes natural is when I want to emit elements into a collection f. Then I need<br>
<br>
Pointed f -- to emit a single element<br>
Monoid (f a) -- to join two collections<br>
<br>
Using Applicative or Monad is overdoing it.<br>
<br>
Maybe you have a better suggestion how to organize my task which I have not considered yet...<br>
<br>
Cheers, Andreas<br>
<br>
On <a href="tel:24.05.2013%2017" value="+12405201317" target="_blank">24.05.2013 17</a>:28, Roman Cheplyaka wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
I completely agree with Edward here.<br>
<br>
* Edward Kmett <<a href="mailto:ekmett@gmail.com" target="_blank">ekmett@gmail.com</a>> [2013-05-24 11:20:51-0400]<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
For the record I'm actually -1 on including Pointed.<br>
<br>
My experience is that there are very few uses for the class that permit you<br>
to reason about your code without one-off ad hoc reasoning based on the<br>
particular instance you are given. Now, the Apply and Bind classes on the<br>
other hand... =) Though, to be fair, I couldn't seriously propose including<br>
either of those, either. Even I can't be bothered to instantiate them all<br>
the time!<br>
<br>
-Edward<br>
<br>
<br>
On Fri, May 24, 2013 at 11:13 AM, Andreas Abel <<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>><u></u>wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
+1 AMP<br>
+1 MINIMAL<br>
+1 Pointed in base<br>
</blockquote></blockquote></blockquote>
<br>
-- <br>
Andreas Abel <>< Du bist der geliebte Mensch.<br>
<br>
Theoretical Computer Science, University of Munich<br>
Oettingenstr. 67, D-80538 Munich, GERMANY<br>
<br>
<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~<u></u>abel/</a><br>
<br>
______________________________<u></u>_________________<br>
Libraries mailing list<br>
<a href="mailto:Libraries@haskell.org" target="_blank">Libraries@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/libraries" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/libraries</a><br>
</blockquote></div><br></div></div>