Explore >> Select a destination

You are here

 www.jeremykun.com
Universal Properties || Math ? Programming
| | ncatlab.org
cohesive topos in nLab
6.7 parsecs away

Travel
| |
| | rakhim.org
Summary of Truth about Types, a talk by Bartosz Milewski - Rakhim.org
3.9 parsecs away

Travel
| |
| | cronokirby.com
Categorical Graphs - Cronokirby
3.2 parsecs away

Travel
| | - Read more: https://cronokirby.com/posts/2020/10/categorical-graphs/
| | www.inner-product.com
What Functional Programming Is, What it Isn't, and Why it Matters
21.5 parsecs away

Travel
| The core premise of functional programming, in my opinion, is that local reasoning and composition make for better code. Here I discuss what these terms mean and the benefits they bring.