<div dir="auto">Best of all is to avoid being too wrong in your teaching. No, don't teach children radians, but don't teach them degrees either (except on the side). Teach them *turns*, and later explain that a degree is 1/360th of a turn, and still later that a radian is 1/(2π) turns.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Sep 19, 2021, 5:07 PM Richard Eisenberg <<a href="mailto:lists@richarde.dev">lists@richarde.dev</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Other understandings of informal terms will differ, but here is how I see it:<br>
<br>
* "Workflow" applies equally well to Monad as to Arrow. Both capture the idea of information flowing from one computation to the next.<br>
<br>
* "Programmable semicolon" seems a better fit for Monad than for Arrow. In C, I can say:<br>
<br>
> int result = do_some_thing();<br>
> if (result > 10)<br>
>   big_result();<br>
> else<br>
>   small_result();<br>
<br>
That is, the future flow of my computation can depend on an earlier result. This is possible with Monad but not with Arrow. So, if I had thought that Arrow was a programmable semicolon, I would have felt short-changed a bit when actually learning what Arrow was.<br>
<br>
Popping up a level: for me, the value in these ideas is not their precision, but rather their familiarity. Give me intuition first, correctness later.<br>
<br>
Sidenote (please feel free to skip!): In later secondary school and throughout university, I kept learning things that refined earlier knowledge -- indeed suggesting that earlier knowledge was wrong. For example, radians are *much* more convenient to work with than degrees, which are kind of ridiculous. I resolved then that I would teach my kids how to measure angles in radians from the start: why bother with the inferior unit? Now I have a daughter, who is learning degrees. Why? Because degrees are simpler to start with: we can describe a circle or a right angle without any irrational numbers! So, we build intuition with degrees, and then she'll switch to radians when the time comes. Another example: we now know that object do not accelerate parabolically under the influence of gravity, because of general relativity. But general relativity is hard, so we still teach about parabolic curves for objects in freefall. Once a student knows more physics, they can return and refine their knowledge.<br>
<br>
So can it be with Haskell. We sometimes get so caught up in being "right" and precise, that we forget that it is sometimes useful to paper over some details for the sake of intuition. This means we sometimes have to say "wrong" things. (For example, I have said that "IO Int" is just an Int tagged with a flag that says the function can do I/O and must be written with do-notation.) But if the goal is learning, sometimes the "wrong" thing is the right thing.<br>
<br>
Richard<br>
<br>
> On Sep 18, 2021, at 4:00 AM, Tom Ellis <<a href="mailto:tom-lists-haskell-cafe-2017@jaguarpaw.co.uk" target="_blank" rel="noreferrer">tom-lists-haskell-cafe-2017@jaguarpaw.co.uk</a>> wrote:<br>
> <br>
> On Sat, Sep 18, 2021 at 11:56:37AM +0900, Michael Turner wrote:<br>
>> Workflow is a metaphor at one useful level. "Programmable semicolon"<br>
>> is a metaphor at another useful level.<br>
> [...]<br>
>> "Workflow" helped me. And now "programmable semicolon" is helping a<br>
>> little, in another way.<br>
> <br>
> What troubles me about "workflow" and "programmable semicolon" is the<br>
> question of whether they also apply to Arrow[1].<br>
> <br>
> * If they do, then in what sense can "workflow" and "programmable<br>
>  semicolon" said to help with understanding of *Monad*?<br>
> <br>
> * If they don't, then why not?  I don't see it.<br>
> <br>
> One possible answer is that they do, but those descriptions are only<br>
> intended to improve understanding about purpose not about technical<br>
> details (I think this is what Michael is suggesting).<br>
> <br>
> Tom<br>
> <br>
> <br>
> <br>
> [1] <a href="https://www.stackage.org/haddock/lts-17.7/base-4.14.1.0/Control-Arrow.html" rel="noreferrer noreferrer" target="_blank">https://www.stackage.org/haddock/lts-17.7/base-4.14.1.0/Control-Arrow.html</a><br>
> _______________________________________________<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 noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
> Only members subscribed via the mailman list are allowed to post.<br>
<br>
_______________________________________________<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 noreferrer" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a><br>
Only members subscribed via the mailman list are allowed to post.</blockquote></div>