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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!