News for hackers. Stuff that matters.
Re:Category Theory for Programmers (2014) [pdf] by madhadron on Wednesday December 25, 2019 @11:16AM (#21879063)
> What do you think? Should we use different words?

Maybe it's because I was up until midnight debugging a production problem on Christmas eve, but I can't make myself care much either way. My kneejerk reaction is to say no, because I hesitate to introduce categories without being quite certain of their operational reality.

There are no comments on this comment yet.