[Haskell-cafe] Course-of-value recursion by defining a sequence as a self-referential infinite list

[Vanessa McHale]

Your talk has been on my youtube “watch later” for awhile, finally watched it!

Cheers,
Vanessa McHale

https://youtu.be/q8hDDTA7HmY
Power series, power serious
youtu.be


> On Jan 20, 2025, at 8:54 AM, Douglas McIlroy <douglas.mcilroy at dartmouth.edu> wrote:
> 
> > catalanNumbers :: Num a => [a]
> > catalanNumbers =
> >   let xs = 1 : PowerSeries.mul xs xs
> >   in  xs
> 
> This example of a generating function come to life as a program deserves to be better known. Bill Burge presented it 50 years ago in "Recursive Programming Techniques", Addison-Wesley, 1975. I revisited it in "Power series, power serious", JFP 9 (1999) 323-335, where, with overloadied arithmetic, it became
>       ts = 1 : ts^2
> The technique is laid bare in ten one-liners at https://www.cs.dartmouth.edu/~doug/powser.html.
> 
> Doug
> _______________________________________________
> Haskell-Cafe mailing list
> To (un)subscribe, modify options or view archives go to:
> http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
> Only members subscribed via the mailman list are allowed to post.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20250120/5addc3b6/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hqdefault.jpg
Type: image/jpeg
Size: 7612 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20250120/5addc3b6/attachment.jpg>