<div dir="ltr"><pre style="white-space:pre-wrap;color:rgb(0,0,0)">><i> On 24 Mar 2023, at 18:44, Johannes Waldmann <<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe">johannes.waldmann at htwk-leipzig.de</a>> wrote:

</i>><i> 

</i>><i> ...

> Does the implementation in Data.List do better?

</i>><i> </i></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><br></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)">Data.List's sort is doing a different thing. So I'm not seeing the relevance. Specifically, sort doesn't pay any attention to the incoming list's ordering.</pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><br></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><pre style="white-space:pre-wrap">><i> Since this is about "exercise" - I would expect my students

</i>><i> to find that code, so perhaps I'd point them to it right away,

> and give the task to "understand it" (= argue that it is correct).

> Arguing about cost seems harder.

</i>><i> </i></pre>

This (ex-)student would wonder why you'd sent me to that code. (Perhaps the lesson is: first read the question.)</pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)">Why does the correctness (or otherwise) of a sort bear any relation to preserving list sequence and chopping up a list into ascending sublists?</pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)"><br></pre><pre style="white-space:pre-wrap;color:rgb(0,0,0)">AntC</pre></div>