<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">>> 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)<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</div><div dir="ltr"> >  I don't think prelude contains any ad-hoc definition of (+) that</div><div dir="ltr"> >  returns list</div><div dir="ltr"><br></div><div>Not broken, just insufficiently documented.  "part "is supposed to produce an infinite stream whose nth element is the number of distinct representations of n as a sum of positive integers.</div><div><br></div><div>The "infinite loop"  is deliberate, quite like<br></div><div>    ones = 1 : ones</div><div>which generates an infinite sequence of 1s.</div><div><br></div><div>It is not stated, but the (+) is understood to have been overloaded to handle lists of Nums in the natural way</div><div><br></div><div>Doug</div></div></div></div></div></div></div>