TheWM_ [she/her,they/them] to Post Puns On Main • 4 years agoObject Oriented Programming is counter-revolutionarymessage-squaremessage-square36 fedilinkarrow-up169file-text
arrow-up169message-squareObject Oriented Programming is counter-revolutionaryTheWM_ [she/her,they/them] to Post Puns On Main • 4 years agomessage-square36 Commentsfedilinkfile-text
minus-squarePuffin [any, they/them]hexbear12·4 years agoUnderstanding abstract algebra is the reading theory of functional programming link
minus-squareSpeaker [e/em/eir]hexbear2·4 years agoAmateur! Category theory is the true way (or homotopy type theory if you wanna get wild). link
minus-squarePuffin [any, they/them]hexbear2·4 years agoTBH I consider category theory to be a branch of algebra. At least that's the class where it was first formally presented to me. link
minus-squareSpeaker [e/em/eir]hexbear2·4 years agoThat's fair. Though I'd say algebra is a branch of category theory. 👀 link
minus-squarethe_river_cass [she/her]hexbear2·4 years agoin theory, yes, but pedagogically it makes more sense as a branch of algebra link
minus-squareSpeaker [e/em/eir]hexbear2·4 years agoYou take your pedagogy back to Comet Ping Pong! 👁 link
Understanding abstract algebra is the reading theory of functional programming
Amateur! Category theory is the true way (or homotopy type theory if you wanna get wild).
TBH I consider category theory to be a branch of algebra. At least that's the class where it was first formally presented to me.
That's fair. Though I'd say algebra is a branch of category theory. 👀
in theory, yes, but pedagogically it makes more sense as a branch of algebra
You take your pedagogy back to Comet Ping Pong! 👁