余データ
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