#monads — Public Fediverse posts

For the Haskellers out there, if you care even a little about performance, remember to unroll your monad transformer stacks!

Just unrolling one transformer stack (ReaderT r (ExceptT e (StateT s m))) into a single CPS monad gave a 50% performance improvement in a Haskell implementation of a logic programming language

The best part is that much of the time you don't have to change any code that uses it, since you can implement MonadState, MonadReader, etc.

#Haskell #monads

I keep wanting to add dry-monads to work projects but always end up not doing it, because it just doesn't feel right, when you can just do `return unless thing`, instead, and move on with your life, nil be damned. I also feel like misusing `yield` like that is just too much to ask from my fellow developers. Maybe Ruby is too *pragmatic* of a language for this type of fuckery. 🤔
#ruby #monads #functionalProgramming #dryRB #theWorkshop

"When you write HelloWorld in Haskell, as a first example, you cannot explain easily what it does."

#UndoneCS #monads

From 14:30 to 15:30 on Wednesday, March 18, the PLUSLE reading group will discuss "Notions of Computation Determine Monads" by Gordon Plotkin and John Power.

https://plsl.acp.sdu.dk/posts/2026-03-18-notions-of-computation-determine-monads/

#PLUSLE #algebraicEffects #effectSystems #monads

@Ryanbigg

re:
> How developers sound to non-developers when you talk shop

Ohh yeah! the Rockwell retro encaburator, I featured that in my 2022⁺ #RubyConf talk while talking about #Monads in #ruby

Never again without a contract: dry-validation

https://www.rubyevents.org/talks/never-again-without-a-contract-dry-validation

where I also featured your work, Ryan :)

⁺ wow almost 3 year ago to the date.
#dryrb

Practical Free monads in Java

higher-kinded-j shows you how to:
• Build composable DSLs
• Transformations as interpreters
• Stack-safe (10k+ ops verified)
• Test effectful code purely

Complete guide:
https://higher-kinded-j.github.io/monads/free_monad.html

#Java #FunctionalProgramming #Monads #AdvancedJava

Six new Composable Optics and a FreeMonad DSL all in the latest #higher-kinded-j release

check it out https://higher-kinded-j.github.io/optics/optics_intro.html

#Java #FunctionalProgramming #Monads #Optics

Freer Monads, More Extensible Effects [pdf]

https://okmij.org/ftp/Haskell/extensible/more.pdf

#HackerNews #Freer #Monads #Extensible #Effects #Haskell #FunctionalProgramming #PDF

:scala: 📣 It gives me great pleasure in welcoming @armanbilge of @typelevel to #BayAreaScala #meetup with a highly anticipated talk on:

:scala: Calico: my love letter to the Resource monad :scala:

For full details of his talk and other speakers can be found here: https://luma.com/9ww60v3l

#scala #fp #functionalprogramming #SanFrancisco #typelevel #Monads

cc @scala_lang @scala_space

But before you get mad at me!

«#Monads are not like burritos»

https://byorgey.github.io/blog/posts/2025/06/16/monads-are-not-burritos.html
> Of course there are lots of people who still understand that it was all just a silly joke. Recently, however, I’ve seen several instances where people apparently believe “monads are burritos” is a real, helpful thing and not just a joke meme. For example, see this thread on lobste.rs, or this Mastodon post

> So, to set the record straight: “monads are burritos” is not a helpful analogy! Why not, you ask?

#Monads are like burritos
https://blog.plover.com/prog/burritos.html

> A monad is a special kind of a functor. A functor F takes each type T and maps it to a new type FT. A burrito is like a functor: it takes a type, like meat or beans, and turns it into a new type, like beef burrito or bean burrito.

Here's a comic strip version:

https://chrisdone.com/posts/monads-are-burritos/

If you think a out it, that last post made a burrito out of the text version.

🤓 Oh no, hide the kids! #Monads are apparently wreaking havoc with their overwhelming power! Who knew Haskell's beloved magic beans could be too "expressive" for their own good? Maybe next time, just stick to plain old loops? 🤯
https://chrispenner.ca/posts/expressiveness-spectrum #Haskell #programming #expressiveness #tech #humor #coding #challenges #HackerNews #ngated

Monads are too powerful: The Expressiveness Spectrum

https://chrispenner.ca/posts/expressiveness-spectrum

#HackerNews #Monads #Expressiveness #FunctionalProgramming #Haskell #SoftwareDevelopment #HackerNews

My partner just said "Sedges have edges and are graminoids in the order Poales" so I responded "monads are monoids in the category of endofunctors"

#monads #nonsense

Have you noticed him?

#haskell #rust #eval #apply #monads #ikamusume

🚨 Breaking News: #ML, a language nobody uses, also has monads! 🎉 Spoiler: #Monads are just fancy-wrapped functions in libraries, not divine gifts from the #Haskell gods. Turns out, #programming #languages can share features without becoming a cult. 🤯
https://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/ #TechNews #HackerNews #ngated

Of Course ML Has Monads (2011)

https://existentialtype.wordpress.com/2011/05/01/of-course-ml-has-monads/

#HackerNews #OfCourseMLHasMonads #ML #Monads #FunctionalProgramming #HackerNews #2011

When Kyle Simpson wrote a book about monads, "Unwrapping Monads & Friends," I decided to read it. I'm done with monads in my life at this point, but I was curious how he tackled this. Kyle has a talent to nail various subjects without pretentiousness (and Lord only know how much of that there is around monads). I still think that monads are rather exotic concept in JS, but on a theoretical level, it's beneficial to be aware of it.

https://leanpub.com/blog/new-book-launch-unwrapping-monads-friends-by-kyle-simpson/

#monads #JavaScript