Data-Codata Symmetry and its Interaction with Evaluation Order — mentioned by noelwelsh

Wed, 26 Jul 2023 08:58:28 GMT

Sum types + pattern matching (algebraic data types + structural recursion) achieves the same goal as what the author describes, but uses a different implementation technique. In functional programming there is often talk of "duality". Two things are dual if you can make an exact correspondence between them. In this case, these two implementation techniques are duals. The OO technique is known as "codata", which, as you say, is all about having a uniform protocol to interact with. (In this case, the method "eval".) The FP technique is just "data", which is basically interchangeable with sum…

Paper and discussion history. A mention is not an endorsement.

Data-Codata Symmetry and its Interaction with Evaluation Order · HackerPapers discussions

Data-Codata Symmetry and its Interaction with Evaluation Order — mentioned by noelwelsh