Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
blog.ielliott.io
(Uncensored)
subscribe
Lambdas are Codatatypes
https://blog.ielliott.io/lambdas-are-codatatypes
links
backlinks
I was first clued into this a while ago by a comment on Bob Harper’s blog that “exponentials are coinductive”, but it only really clicked for me today. Let’s get into it.