Explore >> Select a destination
|
You are here 
|
perfdynamics.blogspot.com | ||
| | | | |
200ok.ch
|
|
| | | | | How to supercharge your development setup with true code hot-reloading in a truly functional programming language. | |
| | | | |
blog.bittersweetryan.com
|
|
| | | | | In functional programming a map function is a way to create an array by passing each element of the array into a function. Mapping function... | |
| | | | |
largedatabank.com
|
|
| | | | | I heard a lot of good things about Mike Okasaki's Purely Functional Data Structures at UChicago, but didn't ever take the time to check it out. Lately I've missed the heady joy of reading and writing code in a strongly typed functional programming language like Standard ML, so when one of my coworkers at Knewton mentioned he was going to read the book I decided to get a copy for myself. | |
| | | | |
www.jeremykun.com
|
|
| | | Last time we worked through some basic examples of universal properties, specifically singling out quotients, products, and coproducts. There are many many more universal properties that we will mention as we encounter them, but there is one crucial topic in category theory that we have only hinted at: functoriality. As we've repeatedly stressed, the meat of category theory is in the morphisms. One natural question one might ask is, what notion of morphism is there between categories themselves? | ||
