A deep dive into codata, dependent types, and defunctionalization—reframing the expression problem through data–codata duality. - hackernoon.com/researchers-re… #objectorientedprogramming #functionalprogramming
Researchers Revisit Codata, Dependent Types, and the Limits of the Expression Problem | HackerNoon
A deep dive into codata, dependent types, and defunctionalization—reframing the expression problem through data–codata duality.
From hackernoon.com 201