You know, I once learned category theory, at least to the point where I could explain from the ground up what a monad is, as well. And the most important thing

You know, I once learned category theory, at least to the point where I could explain from the ground up what a monad is, as well. And the most important thing I've learned in the process is that these theoretical buzzwords don't have any relevance to programming whatsoever. This theory stuff is not a means to an end. It's a means unto itself. > My answer to this is: the ultimate type system is constructive logic (following the proofs-as-programs direction), the ultimate typechecker is a theorem prover, and theorem proving technology improves over time. https://twitter.com/TimSweeneyEpic/status/1231412413087571968 https://twitter.com/TimSweeneyEpic/status/123141241308757196... People who say such things have simply drunken the kool-aid, big time. When it's about practice instead of theory, I prefer to listen to people who have actually made stuff in the last decade.