3 ms·
My mistake. My intention was to get you excited about equational reasoning, not talk down to you. I apologize.
by Gabriel439 12y ago
My mistake. My intention was to get you excited about equational reasoning, not talk down to you. I apologize.
- thinkpad20 12y agoNo problem. Thanks for the apology. I will take the opportunity to learn more about equational reasoning in Haskell. I'm currently going through TAPL and Software Foundations, so my theoretical focus in Haskell is more on type theory and less on category theory, although that's long been on my "to-learn" list. If that makes sense :)
- Gabriel439 12y agoThat makes total sense. Also, type theory is a very fascinating research area, too, especially with the advent of homotopy type theory and practical implementations of dependent types like Idris.