Explore >> Select a destination
|
You are here 
|
blog.sigfpe.com | ||
| | | | |
cronokirby.com
|
|
| | | | | Exploring 3 different ways of encoding the natural numbers - Read more: https://cronokirby.com/posts/2020/08/encoding-the-naturals/ | |
| | | | |
diego.codes
|
|
| | | | | Data Scientist. I like music, keyboards and Legos. Proficient in pop culture references and xkcd. | |
| | | | |
blog.drewolson.org
|
|
| | | | | So you've learned some basic Haskell and you're feeling really good about yourself. You sit down the write some code and you're presented with a deeply nested JSON structure: { "foo": "Hello", "bar": 1, "baz": "More stuff", "people": [ { "name": "Drew", "hobbies": [ { "name": "bridge" }, { "name": "haskell" } ] }, { "name": "Jane", "hobbies": [ { "name": "chess" }, { "name": "ocaml" } ] } ] } Your goal is to simply find the name of Drew's first hobby. LET'S WRITE SOME TYPES! | |
| | | | |
www.jeremykun.com
|
|
| | | For a list of all the posts on Category Theory, see the Main Content page. It is time for us to formally define what a category is, to see a wealth of examples. In our next post we'll see how the definitions laid out here translate to programming constructs. As we've said in our soft motivational post on categories, the point of category theory is to organize mathematical structures across various disciplines into a unified language. | ||
