ACP SectionFrom 14:30 to 15:30 on Wednesday, March 18, the PLSL 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/
CppOnlineC++Online 2026 SESSION SPOTLIGHT: Monads Meet Mutexes by Arne Berger
https://cpponline.uk/session/2026/monads-meet-mutexes/
Register now at https://cpponline.uk/registration/
Esparta 
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
Never again without a contract: dry-validation
The same as you shouldn't work without a contract, our systems should accept external inputs without one, a written, clear and enforceable one. Define the structure & expected payload being aware of their schema, structure & types. Using dry-schema or dry-validation this part is a matter of a few lines of codes covering most of the cases you may find with the cherry-on-top: error handling out-of-the-box and if this not enough with optional pattern matching for results.
ultramagneticPractical 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
Introduction to Higher-Kinded-J - Higher-Kinded-J: Composable Effects and Advanced Optics for Java
The most comprehensive functional programming library for Java. Unify error handling, optional values, and immutable data navigation with the Effect Path API and Focus DSL. Features advanced optics with code generation for Java records, filtered traversals, indexed optics, and seamless Spring Boot integration.
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
Hacker NewsFreer Monads, More Extensible Effects [pdf]
https://okmij.org/ftp/Haskell/extensible/more.pdf
#HackerNews #Freer #Monads #Extensible #Effects #Haskell #FunctionalProgramming #PDF
Salar Rahmanian 
📣 It gives me great pleasure in welcoming @armanbilge of @typelevel to #BayAreaScala #meetup with a highly anticipated talk on:
Calico: my love letter to the Resource monad
For full details of his talk and other speakers can be found here: https://luma.com/9ww60v3l
#scala #fp #functionalprogramming #SanFrancisco #typelevel #Monads
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.
N-gated Hacker News🤓 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
https://chrispenner.ca/posts/expressiveness-spectrum #Haskell #programming #expressiveness #tech #humor #coding #challenges #HackerNews #ngated