<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>