Mastodawn

marcosh May 8

New blog post!

https://marcosh.github.io/post/2026/05/08/categorical-transformers.html

where I start to explore what #haskell could be if we wanted to use #categories instead of #monads

#functional #functionalprogramming #categorytheory #monad

Categorical transformers

Marcoshplace

jnpn Apr 25

https://old.reddit.com/r/haskell/comments/1sspqm3/not_quite_monads_haskell_unfolder_54/

#haskell #monads #almost

Thilo Apr 21

RE: https://mastodon.com.br/@xkcd/116440695365173051

OMG, another #xkcd instant classic.

You had me at #boardgames (I think I have played all of the ones pictured), but then there are also #monads in it.

Mark Dominus Apr 10

If you're a fan of monads-are-burritos silliness, check out this beautiful presentation by T.P. Wong and Canna Wen.

https://docs.google.com/presentation/d/11H1aIyr4c8bH0Jo8J2UiRAgp6N3_a94qwEGmQavMddc

cc: @byorgey

#monads #burrito #silly

Monads are Burritos

Monads are Burritos TP Wong SP2’26 Canna Wen SP1’26 April 9, 2026 @ The Recurse Center

Google Docs

Show thread

Stéphane Bortzmeyer Mar 24

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

#UndoneCS #monads

ACP Section Feb 26

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

Notions of Computation Determine Monads

In this session, we investigate how describing effects algebraically generates most of the monads traditionally used to model said effects.

PLUSLE

CppOnline Feb 20

C++Online 2026 SESSION SPOTLIGHT: Monads Meet Mutexes by Arne Berger

https://cpponline.uk/session/2026/monads-meet-mutexes/

#cpp #cplusplus #programming #coding #monads

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.

RubyEvents.org

ultramagnetic Nov 23

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

EffectBoundary Integration - 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.

Higher-Kinded-J Documentation

ultramagnetic Nov 21

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