If you like Haskell’s type system I highly recommend learning category theory. This book does a good job. Category theory is pretty abstract, even for pure math. I love it.
If you like Haskell’s type system I highly recommend learning category theory. This book does a good job. Category theory is pretty abstract, even for pure math. I love it.