3 ms·
Data is finite data structures, while Codata is infinite data structures (like streams.) They are duals because you can generate and process data using inductio
by Retra 9y ago
Data is finite data structures, while Codata is infinite data structures (like streams.) They are duals because you can generate and process data using induction, while you can use coinduction to generate and process codata. One is "built up" naturally, and the other is "torn down" naturally.