I just saw this r/programmingcirclejerk post "Algebraically, this is just an effect-parameterized endomorphic continuation model for plugins.", and it made me wonder more about the truly functional side of things (beyond basic concepts like function composition, morphisms, etc.).
I am wondering what book(s) would be a good starting point given my background: I did my undergrad and grad work at Purdue Fort Wayne (and taught Algebra as a grad student). Grad-level algebra was absolutely my favorite course (albeit my worst grade), but the only CS courses that I took were th
