/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 bartoszmilewski.com
The Yoneda Lemma | Bartosz Milewski's Programming Cafe
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
3.3 parsecs away

Travel
| | [AI summary] A summary of Bartosz Milewski's talk exploring the equivalence between type theory, logic, category theory, and computer science through concepts like composition, Curry-Howard isomorphism, and continuations.
| | degoes.net
A Glossary of Functional Programming - John A De Goes
4.1 parsecs away

Travel
| | Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts
| | jao.io
programmers go bananas
3.7 parsecs away

Travel
| |
| | gbracha.blogspot.com
Room 101: Reflecting on Functional Programming
14.4 parsecs away

Travel
| In this post, I wanted to make a case for reflection in the context of pure functional programming. I don't know that pure functional langua...