3 ms·
This is a great way to teach Haskell! The authors taught beginners at Zurihac 2020 and were great at explaining the 'harder' concepts like monads too Edit: by
by exdsq 5y ago
This is a great way to teach Haskell! The authors taught beginners at Zurihac 2020 and were great at explaining the 'harder' concepts like monads too
Edit: by the way, if you're wanting to learn or struggling to learn monads, you can't go wrong reading the literature at the time. Seeing how Haskell originally used types and pattern matching to IO and how hard it was to do things like logging, and then how monads fix that, is the absolute best way to approach the subject. SPJ and Wadler are the authors of those papers.
- lkuty 5y agoTalking about monads, I found Railway Oriented Programming [1] and "Understanding map and apply" [2] (and the whole serie) really interesting. I liked the notion of lifting types to an "elevated world". [1] https://fsharpforfunandprofit.com/rop/ https://fsharpforfunandprofit.com/rop/ [2] https://fsharpforfunandprofit.com/posts/elevated-world/ https://fsharpforfunandprofit.com/posts/elevated-world/
- exdsq 5y agoYeah I agree!
- aaronchall 5y agoCould someone link us to that literature?
- exdsq 5y agoTackling the Awkward Squad by SPJ is a good starting point, it'll link to the other literature