Comment

Comment by sicp-enjoyer

I do not agree with this (however, I only have one grad category theory course). I think category theory is a fine tool for formalizing computation and thinking about type systems, but wouldn't approach it as a program design tool.

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton