Thanks for the meaty comment! I was expecting a bunch of stuff in the "fancier type system" category and was pleasantly surprised.
Do you have any references to share to learn more about potential practical uses of categories? Assume the knowledge of someone who isn't intimidated by the wiki page on categories but who learns by reading it.
> I was expecting a bunch of stuff in the "fancier type system" category and was pleasantly surprised.
Yeah after enough functional programming, one's sense of the new lowest-hanging fruit switches.
> Do you have any references to share to learn more about potential practical uses of categories?
I'm afraid not. I suppose there is plenty of blogs on Haskell and category theory, and N lab for the actual math, but I don't of a resource that zooms out from the neat tricks and tries to discuss broad needs for better programming and architecture.
But I'm relieved to say that where I work, we are working on some things in the vein of things for tracks 2 and 3. It will be open sourced when it's ready, so... stay tuned, I guess?
Do you have any references to share to learn more about potential practical uses of categories? Assume the knowledge of someone who isn't intimidated by the wiki page on categories but who learns by reading it.