Thanks for the link. I ordered the print book five minutes ago and it will be good to have the PDF also.
I have used Haskell for years, but consider myself a novice at dealing with Monads, etc., while good at writing pure Haskell code. (I wrote a Haskell book, which is free on my website https://markwatson.com/books/).
A few years ago, I randomly had dinner with a math professor who specialized in Category Theory, and it was a very cool conversation. I hope that reading Emily Riehl’s book and listening to some of her teaching videos, that I can grok enough CT to enjoy it.
I think it's fairly misleading to think of impure computation as a core part of the `Monad` abstraction in Haskell[0]. Most of the places I use monads in Haskell are pure e.g. error handling, parsers, working with DSLs. `IO` is where the impurity lives and the monad abstraction just makes it a bit more fun to use, but it isn't essential to the impurity. Haskell had IO before it had monads. I also feel like the emphasis on the Monad abstraction really sells Functor and Applicative short as they are fantastic abstractions in their own right in addition to being important building blocks for the Monad abstraction.
I have used Haskell for years, but consider myself a novice at dealing with Monads, etc., while good at writing pure Haskell code. (I wrote a Haskell book, which is free on my website https://markwatson.com/books/).
A few years ago, I randomly had dinner with a math professor who specialized in Category Theory, and it was a very cool conversation. I hope that reading Emily Riehl’s book and listening to some of her teaching videos, that I can grok enough CT to enjoy it.