4 ms·

Category theory seems like a "meme" interest among programmers.

• DaiPlusPlus 5y ago
  It is, because modern programming languages today are far more expressive than previous generations of languages are, with powerful type-systems - and languages' type-systems are grounded in category-theory (and group-theory, and type-theory, and set-theory). Modern languages are our tools, and you can't use your tools effectively without understanding them, and you can understand them better by understanding their mathematical underpinnings. ------------- Disregarding the comparatively more esoteric languages like Haskell, consider TypeScript, Rust, Haxe, and to an extent: Kotlin and Scala: you can take a self-taught (i.e. non-CS/SE graduate) programmer and eventually they'll figure their way through, and eventually grok, that languages' type-system - and hey-presto, you've just unwittingly taught someone something an entire course of graduate-level abstract mathematics would do, and been productive in the process.