<html>

  <head>

    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <p><br>

    </p>

    <div class="moz-cite-prefix">Le 01/08/2019 à 07:50, Joachim

      Durchholz a écrit :<br>

    </div>

    <blockquote type="cite"

      cite="mid:e3cd49a8-2db4-bcfc-d1fc-83fa231dafd4@durchholz.org">Strictly

      speaking, all functions that iterate over all elements of the list

      (say, takes its length) <font color="#990000"><b>are buggy</b></font>:

      They will not terminate if given an infinite list.

    </blockquote>

    <p>I think that you have a curious definition of the term "buggy". 

      This definition is as buggy as the rest of the world (perhaps

      infinite...), or more. You like to play with words. Now the

      non-termination is "buggy". Previously the bottom

      (non-termination) was impure. Do you really want to save the

      humanity with such statements?<br>

    </p>

    <p>Jerzy Karczmarczuk</p>

    <p><br>

    </p>

  </body>

</html>