<div>On Sat, Feb 8, 2025 at 7:04 AM Pranshu Sharma via Haskell-Cafe <<a href="mailto:haskell-cafe@haskell.org">haskell-cafe@haskell.org</a>> wrote:<br></div><div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)" dir="auto">Vanessa McHale <<a href="mailto:vamchale@gmail.com" target="_blank">vamchale@gmail.com</a>> writes:<br>
<br>
> <snipped><br>
><br>
> Karczmarczuk’s solution via the Haskell prelude:<br>
><br>
> part = 1 : b 1<br>
>   where b n = (1 : b (n + 1)) + (replicate n 0 ++ b n)<br>
><br>
<br>
This is broken code, no?, just 2 reasons I can spot why:<br>
- function 'b n' calls 'b n' unconditionally (infite loop)</blockquote><div dir="auto"><br></div><div dir="auto">This definition is meaningful:</div><div dir="auto"><br></div><div dir="auto">ones = 1 : ones</div><div dir="auto"><br></div><div dir="auto">Now consider</div><div dir="auto"><br></div><div dir="auto">onesfun () = 1 : onesfun ()</div><div dir="auto"><br></div><div dir="auto">The function onesfun calls itself unconditionally. This is broken code, no?</div><div dir="auto"><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;padding-left:1ex;border-left-color:rgb(204,204,204)" dir="auto"><br>
- What is the reutrn type of 'b'? It seems like it returns list, but the<br>
  return value is in the form 'a + b' , where (+) is instance of num so<br>
  I don't think prelude contains any ad-hoc definition of (+) that<br>
  returns list<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" 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></div>