It looks like you're new here. If you want to get involved, click one of these buttons!
I've been working as a software developer for 12 years, after studying software development & mathematics at university. I've spent a lot of time with object-oriented languages before taking the plunge into learning Haskell, Idris, Rust, etc. My thirst for knowledge brought me here. I understand, in a somewhat vague sense, that a lot of the theory of type systems and functional programming is built on category theory. To date though, I haven't found an accessible way to learn about what category theory actually is, or how it is applied.