On Planet Haskell today, sigfpe posted a fairly readable (i.e., hopefully comprehensible to non-experts) essay about Data and Codata. I intend to do a talk on this topic someday, but in the meantime, you might find this enlightening.
On Planet Haskell today, sigfpe posted a fairly readable (i.e., hopefully comprehensible to non-experts) essay about Data and Codata. I intend to do a talk on this topic someday, but in the meantime, you might find this enlightening.
Nice article :)
I look forward to your talk!