<div dir="ltr"><div><div>Hmm, you are right! My objections were invalid.<br><br></div>So I don't know an answer... Really, why we have this constraint? The same question is about Functor.<br><br></div><br></div><div class="gmail_extra"><br><div class="gmail_quote">2017-05-03 17:43 GMT+03:00 Richard Eisenberg <span dir="ltr"><<a href="mailto:rae@cs.brynmawr.edu" target="_blank">rae@cs.brynmawr.edu</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word"><div>To me, the fact that DeriveTraversable requires a Foldable instance is not an argument saying that Foldable needs to be a superclass of Traversable. It just restricts the usefulness of DeriveTraversable. We could always advertise that DeriveTraversable works only on types with Foldable instances -- no need to bake this restriction into the superclass constraints of Traversable.</div><div><br></div><div>To be clear, I'm *not* arguing that Foldable shouldn't be a superclass of Traversable. I'm not knowledgeable enough on the specifics to make that claim. I *am* arguing that support for DeriveTraversable doesn't seem to a great argument for putting Foldable as a superclass of Traversable, though.</div><span class="HOEnZb"><font color="#888888"><div><br></div><div>Richard</div></font></span><div><div class="h5"><br><div><blockquote type="cite"><div>On May 3, 2017, at 10:38 AM, Dmitry Olshansky <<a href="mailto:olshanskydr@gmail.com" target="_blank">olshanskydr@gmail.com</a>> wrote:</div><br class="m_6543553971194747049Apple-interchange-newline"><div><div dir="ltr"><div><div><div><div>Traversable instances (for "singletons" or not) can be implemented _uniformly_ using Functor and Foldable instances.<br></div>And they are implemented in such way when you derive Traversable. So we need Foldable constraint for the class.<br><br></div>E.g.<br></div>{-# LANGUAGE DeriveFunctor, DeriveFoldable,<wbr>DeriveTraversable #-}<br></div>> data D a = D { f1 :: [a], f2 :: (String, a) } deriving (Show, Eq, Functor, Foldable, Traversable)<br><div><div><div><div>> sum $ D [1..3] ("test",4)<br>10<br>> mapM_ print $ sequenceA $ D [[1,2],[3,4]] ("test",[5,6])<br>D {f1 = [1,3], f2 = ("test",5)}<br>D {f1 = [1,3], f2 = ("test",6)}<br>D {f1 = [1,4], f2 = ("test",5)}<br>D {f1 = [1,4], f2 = ("test",6)}<br>D {f1 = [2,3], f2 = ("test",5)}<br>D {f1 = [2,3], f2 = ("test",6)}<br>D {f1 = [2,4], f2 = ("test",5)}<br>D {f1 = [2,4], f2 = ("test",6)}<br><br></div><div><br></div></div></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-05-03 14:34 GMT+03:00 Jonathon Delgado <span dir="ltr"><<a href="mailto:voldermort@hotmail.com" target="_blank">voldermort@hotmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Interesting, that's not the one linked to from Dmitry's code.<br>
<br>
In any case, is this correct?<br>
<br>
1) Traversable is useful for all containers, including ones which can only hold a single value, such as (,) a.<br>
2) The traversable definition for containers which can hold multiple versions requires Foldable.<br>
3) So Traversable has to depend on Foldable.<br>
4) So singleton containers also have to implement Foldable, even when it doesn't really make sense to do so.<br>
<br>
Is there some kind of refactoring which would "fix" this, other than two unrelated Traversable classes? I understand that it might be impractical to refactor a widely-used standard library, but I would be interested in how such a situation could be avoided when starting from scratch.<br>
<span><br>
<br>
<br>
From: Haskell-Cafe <<a href="mailto:haskell-cafe-bounces@haskell.org" target="_blank">haskell-cafe-bounces@haskell.<wbr>org</a>> on behalf of Tony Morris <<a href="mailto:tonymorris@gmail.com" target="_blank">tonymorris@gmail.com</a>><br>
</span>Sent: 03 May 2017 11:21<br>
To: <a href="mailto:haskell-cafe@haskell.org" target="_blank">haskell-cafe@haskell.org</a><br>
<div><div class="m_6543553971194747049h5">Subject: Re: [Haskell-cafe] Foldable for (,)<br>
 <br>
<a href="https://i.imgur.com/A2enuhq.png" rel="noreferrer" target="_blank">https://i.imgur.com/A2enuhq.pn<wbr>g</a><br>
<br>
<br>
On 03/05/17 21:17, Jonathon Delgado wrote:<br>
> List.foldr has signature (a -> b -> b) -> b -> [a] -> b, i.e. an actual list? How is this effected by the Foldable constraint?<br>
><br>
><br>
><br>
> From: Dmitry Olshansky <<a href="mailto:olshanskydr@gmail.com" target="_blank">olshanskydr@gmail.com</a>><br>
> Sent: 03 May 2017 10:47<br>
> To: Jonathon Delgado<br>
> Cc: <a href="mailto:haskell-cafe@haskell.org" target="_blank">haskell-cafe@haskell.org</a><br>
> Subject: Re: [Haskell-cafe] Foldable for (,)<br>
>  <br>
><br>
><br>
> Look how instance for List is defined.<br>
><br>
> instance Traversable [] where     {-# INLINE traverse #-} -- so that traverse can fuse     traverse f = List.foldr cons_f (pure [])       where cons_f x ys = (:) <$> f x <*> ys It uses List.foldr. Many other instances do the same.<br>
> Functions in all instances of class should have the same signatures. So we have to add Foldable constraint to the class.<br>
> Of cause we can implement 'foldr' internaly in 'traverse' if needed (as well as fmap).<br>
> But this is not so good and more important that in this case we don't know how to derive Traversable instances automatically.<br>
><br>
> So the answer - many instances wouldn't compile and DeriveTraversable wouldn't work.<br>
>  <br>
><br>
><br>
> 2017-05-03 12:56 GMT+03:00 Jonathon Delgado  <<a href="mailto:voldermort@hotmail.com" target="_blank">voldermort@hotmail.com</a>>:<br>
>  OK, I understand why Traversable is useful here - thank you Chris and Dmitry!<br>
><br>
> The next question is why Traversable requires Foldable. I looked at the source, and couldn't see where Foldable is being used, other than as a constraint on Traversable. To put the question differently, what would fail to compile if this constraint was removed?<br>
><br>
><br>
><br>
> From: Dmitry Olshansky <<a href="mailto:olshanskydr@gmail.com" target="_blank">olshanskydr@gmail.com</a>><br>
> Sent: 03 May 2017 09:53<br>
> To: Jonathon Delgado<br>
><br>
><br>
> Cc: <a href="mailto:haskell-cafe@haskell.org" target="_blank">haskell-cafe@haskell.org</a><br>
> Subject: Re: [Haskell-cafe] Foldable for (,)<br>
> <br>
><br>
><br>
><br>
><br>
> With fmap you can only change all values in some "container".<br>
><br>
>  With Foldable you can "fold" it, i.e. calculate some "scalar" result.<br>
><br>
>  With Traversable you can "change order of two containers":<br>
>> sequenceA [[1,2,3],[4,5]]<br>
> [[1,4],[1,5],[2,4],[2,5],[3,4]<wbr>,[3,5]]<br>
>> sequenceA ("test",[2,3,4])<br>
> [("test",2),("test",3),("test"<wbr>,4)]<br>
>> sequenceA ("test",([1,2,3],[4,5,6]))<br>
> ([1,2,3],("test",[4,5,6]))<br>
><br>
><br>
><br>
><br>
><br>
> 2017-05-03 12:12 GMT+03:00 Jonathon Delgado  <<a href="mailto:voldermort@hotmail.com" target="_blank">voldermort@hotmail.com</a>>:<br>
>  Why do you want to traverse a tuple instead of fmap? i.e. what can you do with Foldable/Traversable for (,) that you can't do with Functor?<br>
><br>
> My background, as you can probably guess, is beginner.<br>
><br>
><br>
> From: Haskell-Cafe <<a href="mailto:haskell-cafe-bounces@haskell.org" target="_blank">haskell-cafe-bounces@haskell.<wbr>org</a>> on behalf of Chris Smith <<a href="mailto:cdsmith@gmail.com" target="_blank">cdsmith@gmail.com</a>><br>
> Sent: 03 May 2017 08:51<br>
> To: Tony Morris<br>
> Cc: <a href="mailto:haskell-cafe@haskell.org" target="_blank">haskell-cafe@haskell.org</a><br>
> Subject: Re: [Haskell-cafe] Foldable for (,)<br>
> <br>
><br>
><br>
><br>
> Replying to myself, I suppose one good answer is that whether or not you care about Foldable instances for tuples, you might care about Traversable instances, and those require Foldable as a superclass.<br>
><br>
><br>
> For example, one possible specialization of `traverse` is:<br>
><br>
><br>
>     traverse :: (a -> IO b) -> (SideValue, a) -> IO (SideValue, b)<br>
><br>
><br>
> Jonathon, I don't know how much background you're coming from, so I'd be happy to explain that in more detail if you need it.<br>
><br>
><br>
> On Wed, May 3, 2017 at 1:44 AM, Chris Smith  <<a href="mailto:cdsmith@gmail.com" target="_blank">cdsmith@gmail.com</a>> wrote:<br>
><br>
> I'm also interested in Jonathon's question, so let me try to bring things back to the question.  Everyone agrees that there's only one reasonable way to define this instance if it exists.  But the question is: why is it defined at all?<br>
><br>
><br>
> That's an easy question to answer for Functor, Applicative, and Monad.  But I am having trouble giving a simple or accessible answer for Foldable.  Do you know one?<br>
><br>
><br>
><br>
><br>
> On Wed, May 3, 2017 at 1:32 AM, Tony Morris  <<a href="mailto:tonymorris@gmail.com" target="_blank">tonymorris@gmail.com</a>> wrote:<br>
>  It's Foldable for ((,) a).<br>
><br>
> It is not Foldable for any of these things:<br>
><br>
> * (,)<br>
> * tuples<br>
> * pairs<br>
><br>
> In fact, to talk about a Foldable for (,) or "tuples" is itself a kind<br>
> error. There is no good English name for the type constructor ((,) a)<br>
> which I suspect, along with being unfamiliar with utilising the<br>
> practical purpose of types (and types of types) is the root cause of all<br>
> the confusion in this discussion.<br>
><br>
> Ask yourself what the length of this value is:<br>
><br>
> [[1,2,3], [4,5,6]]<br>
><br>
> Is it 6? What about this one:<br>
><br>
> [(1, 'a'), (undefined, 77)]<br>
><br>
> Is it 4? No, obviously not, which we can determine by:<br>
><br>
> :kind Foldable :: (* -> *) -> Constraint<br>
> :kind [] :: * -> *<br>
><br>
> Therefore, there is no possible way that the Foldable instance for []<br>
> can inspect the elements (and determine that they are pairs in this<br>
> case). By this method, we conclude that the length of the value is 2. It<br>
> cannot be anything else, some assumptions about length itself put aside.<br>
><br>
> By this ubiquitous and very practical method of reasoning, the length of<br>
> any ((,) a) is not only one, but very obviously so.<br>
><br>
><br>
><br>
> On 03/05/17 17:21, Jonathon Delgado wrote:<br>
>> I sent the following post to the Beginners list a couple of weeks ago (which failed to furnish an actual concrete example that answered the question). Upon request I'm reposting it to Café:<br>
>><br>
>> I've seen many threads, including the one going on now, about why we need to have:<br>
>><br>
>> length (2,3) = 1<br>
>> product (2,3) = 3<br>
>> sum (2,3) = 3<br>
>> or (True,False) = False<br>
>><br>
>> but the justifications all go over my head. Is there a beginner-friendly explanation for why such seemingly unintuitive operations should be allowed by default?<br>
>> ______________________________<wbr>_________________<br>
>> Haskell-Cafe mailing list<br>
>> To (un)subscribe, modify options or view archives go to:<br>
>>     <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
<br>
<br>
</div></div><span>Haskell-Cafe Info Page<br>
<a href="http://mail.haskell.org/" rel="noreferrer" target="_blank">mail.haskell.org</a><br>
This mailing list is for the discussion of topics related to Haskell. The volume may at times be high, as the scope is broader than the main Haskell mailing list.<br>
<br>
</span><span>>> Only members subscribed via the mailman list are allowed to post.<br>
><br>
><br>
> ______________________________<wbr>_________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
<br>
<br>
</span><span>Haskell-Cafe Info Page<br>
<a href="http://mail.haskell.org/" rel="noreferrer" target="_blank">mail.haskell.org</a><br>
This mailing list is for the discussion of topics related to Haskell. The volume may at times be high, as the scope is broader than the main Haskell mailing list.<br>
<br>
</span><span>> Only members subscribed via the mailman list are allowed to post.<br>
><br>
><br>
><br>
> ______________________________<wbr>_________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
><br>
> ______________________________<wbr>_________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
> Only members subscribed via the mailman list are allowed to post.  <br>
>    <br>
> ______________________________<wbr>_________________<br>
> Haskell-Cafe mailing list<br>
> To (un)subscribe, modify options or view archives go to:<br>
> <a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
<br>
<br>
</span><a href="https://i.imgur.com/A2enuhq.png" rel="noreferrer" target="_blank">https://i.imgur.com/A2enuhq.pn<wbr>g</a><br>
<div class="m_6543553971194747049HOEnZb"><div class="m_6543553971194747049h5"><br>
______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-bi<wbr>n/mailman/listinfo/haskell-caf<wbr>e</a><br>
Only members subscribed via the mailman list are allowed to post.</div></div></blockquote></div><br></div>
______________________________<wbr>_________________<br>Haskell-Cafe mailing list<br>To (un)subscribe, modify options or view archives go to:<br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>Only members subscribed via the mailman list are allowed to post.</div></blockquote></div><br></div></div></div><br>______________________________<wbr>_________________<br>
Haskell-Cafe mailing list<br>
To (un)subscribe, modify options or view archives go to:<br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/haskell-<wbr>cafe</a><br>
Only members subscribed via the mailman list are allowed to post.<br></blockquote></div><br></div>