> 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?
Sure! Hope it wasn't too rambly.
> 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?