@socks wait i thought the whole thing of Haskell was that it was category theory but programming? :0

@alexandria Well, sort of! There is a lot of category stuff involved but you don't need to know actual category theory (as in the branch of mathematics) to do it

And now that I'm studying actual category theory I'm seeing parallels and it's neat

@socks I thought the behaviour of monads was dependent on knowledge from category theory, so to use them properly you had to know it <:O

At least that's when i was last looking into it like 5 years ago lol

its what stopped me from learning it, I was like "im going to learn category theory first" and watched some lectures, then that slowly got shunted off my todo lol

Follow

@socks @alexandria By the way, if you're interested in learning dependently-typed programming and/or formal verification, that's basically my job and I'm more than happy to guide you! :D