Post AE9bYcSClokSecl9nM by secretlySamantha@tech.lgbt
 (DIR) More posts by secretlySamantha@tech.lgbt
 (DIR) Post #AE9bYcSClokSecl9nM by secretlySamantha@tech.lgbt
       2021-12-06T22:52:47Z
       
       0 likes, 0 repeats
       
       @Vierkantor can you explain to me what a monad is and how it applies to programming? I've done enough mathematics To know what and endomorphism is but not any category theory and it feels like running into a brick wall any time I try to understand. (I ask this because of the bit in your introduction, sorry if it's a bit out of the blue) thanks!
       
 (DIR) Post #AE9bYcrjEvAHvmhXZw by Vierkantor@mastodon.vierkantor.com
       2021-12-06T23:02:50Z
       
       1 likes, 0 repeats
       
       @secretlySamantha Sure! Unfortunately, I was just planning to go to bed, so I'll send you some links, and write up something better tomorrow. * If you are comfortable with functional programming syntax, you can check out chapter 6 of this book (that I wrote a little bit of): https://raw.githubusercontent.com/blanchette/logical_verification_2021/main/hitchhikers_guide.pdf * Learn You A Haskell! has a lot more examples, but isn't quite as mathematical: http://learnyouahaskell.com/functors-applicative-functors-and-monoids * Wikibooks has a very mathematical approach: https://en.wikibooks.org/wiki/Haskell/Category_theory#Monads
       
 (DIR) Post #AE9bYeMxeHk4awJzto by Vierkantor@mastodon.vierkantor.com
       2021-12-06T23:07:02Z
       
       0 likes, 0 repeats
       
       @secretlySamantha Could you please give a quick summary of your experience in mathematics (e.g. do you know what injective/surjective/bijective functions are? do you know what a group homomorphism is?) and programming (have you seen lambda functions? have you used Haskell/ML/some other pure functional language)?I don't want to assume too much (or little) of your knowledge! :)