u/danielciocirlanin r/scala • Recommends
Monads are Monoids in the Category of Endofunctors - a Scala 3 Journey, No Psychobabble
0:00 / 0:00
Monads are Monoids in the Category of Endofunctors - a Scala 3 Journey, No Psychobabble
Rock the JVM
27K subscribers • 62 videos on Hallway
- Recommended by 1 person: 1 in engineering communities.
Advanced. Deep dive for people who know the field.
9K views5 years ago1 recommendation
Programming languagesComputer scienceScalaFunctional programmingComputation and complexity
An explanation of the famous category theory phrase, deconstructing monads, monoids, and endofunctors using Scala 3 without mathematical jargon.
Written form: blog.rockthejvm.com/monads-are-monoids-in-the-category-of-en… Twitter thread: twitter.com/rockthejvm/status/1379695298365300736 "Monads are just monoids in the category of endofunctors" is probably one of the most abstract, condensed, convoluted and misunderstood phrases in functional programming. In this video we'll deconstruct what that means, in Scala 3, with no math jargon, for the pragmatic Scala programmer. Required concepts: Monads: youtube.com/watch?v=d-dy1x33moA Functors: youtube.com/watch?v=aSnY2JBzjUw Monoids: youtube.com/watch?v=LmBTiFYa-V4 Type Lambdas in Scala 3: youtube.com/watch?v=b1C8ybLpzUc In-depth practice of Scala and Cats: rockthejvm.com/p/cats Follow Rock the JVM on: LinkedIn: linkedin.com/company/rockthejvm Twitter: twitter.com/rockthejvm Blog: blog.rockthejvm.com ------------------------------------------------------------------------- Home: rockthejvm.com -------------------------------------------------------------------------Why it's here
1 person recommends thisWhat people say. Recommended as an exceptionally clear, jargon-free explanation of a notoriously difficult category theory concept using Scala 3.