терминальная коалгебра

Покурочил пример терминальной коалгебры на вики, добавил разъяснений.

https://en.wikipedia.org/wiki/Initial_algebra#Final_coalgebra

Комментарии приветствуются (а поправки лучше прямо там делайте).

кому надо?

Working Paper for Draft Proposed International Standard for Information Systems - Programming Language C++

(year 1995)

probably about 800 pages.

Let me know if you are local and interested.

I recommend this book

Li Haoyi, Hands-on Scala

https://www.handsonscala.com/