generated at
余データ
Codata





>#WIP


具体例は、無限リストとか


https://techblog.asahi-net.co.jp/entry/2022/03/14/143648
FPがデータ型であり、
OOPが余データ型である

https://trap.jp/post/199/

Codata in Action
https://www.microsoft.com/en-us/research/uploads/prod/2020/01/CoDataInAction.pdf

https://core.ac.uk/display/24270653
https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.46.5169&rep=rep1&type=pdf
https://www.javiercasas.com/articles/codata-in-action
https://stackoverflow.com/questions/61717791/what-constitutes-codata-in-the-context-of-programming