#monads — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #monads, aggregated by home.social.
-
"When you write HelloWorld in Haskell, as a first example, you cannot explain easily what it does."
-
"When you write HelloWorld in Haskell, as a first example, you cannot explain easily what it does."
-
"When you write HelloWorld in Haskell, as a first example, you cannot explain easily what it does."
-
"When you write HelloWorld in Haskell, as a first example, you cannot explain easily what it does."
-
"When you write HelloWorld in Haskell, as a first example, you cannot explain easily what it does."
-
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/
-
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/
-
re:
> How developers sound to non-developers when you talk shopOhh 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 -
re:
> How developers sound to non-developers when you talk shopOhh 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 -
re:
> How developers sound to non-developers when you talk shopOhh 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 -
re:
> How developers sound to non-developers when you talk shopOhh 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 -
re:
> How developers sound to non-developers when you talk shopOhh 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 purelyComplete guide:
https://higher-kinded-j.github.io/monads/free_monad.html -
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 purelyComplete guide:
https://higher-kinded-j.github.io/monads/free_monad.html -
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 purelyComplete guide:
https://higher-kinded-j.github.io/monads/free_monad.html -
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 purelyComplete guide:
https://higher-kinded-j.github.io/monads/free_monad.html -
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
-
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
-
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
-
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
-
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
-
Freer Monads, More Extensible Effects [pdf]
https://okmij.org/ftp/Haskell/extensible/more.pdf
#HackerNews #Freer #Monads #Extensible #Effects #Haskell #FunctionalProgramming #PDF
-
Freer Monads, More Extensible Effects [pdf]
https://okmij.org/ftp/Haskell/extensible/more.pdf
#HackerNews #Freer #Monads #Extensible #Effects #Haskell #FunctionalProgramming #PDF
-
Freer Monads, More Extensible Effects [pdf]
https://okmij.org/ftp/Haskell/extensible/more.pdf
#HackerNews #Freer #Monads #Extensible #Effects #Haskell #FunctionalProgramming #PDF
-
Freer Monads, More Extensible Effects [pdf]
https://okmij.org/ftp/Haskell/extensible/more.pdf
#HackerNews #Freer #Monads #Extensible #Effects #Haskell #FunctionalProgramming #PDF
-
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
-
: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
-
: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
-
: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
-
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?
-
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?
-
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?
-
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?
-
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.
-
#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.
-
#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.
-
#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.
-
#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 -
🤓 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 -
🤓 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 -
🤓 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 -
🤓 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
-
Monads are too powerful: The Expressiveness Spectrum
https://chrispenner.ca/posts/expressiveness-spectrum
#HackerNews #Monads #Expressiveness #FunctionalProgramming #Haskell #SoftwareDevelopment #HackerNews
-
Monads are too powerful: The Expressiveness Spectrum
https://chrispenner.ca/posts/expressiveness-spectrum
#HackerNews #Monads #Expressiveness #FunctionalProgramming #Haskell #SoftwareDevelopment #HackerNews
-
Monads are too powerful: The Expressiveness Spectrum
https://chrispenner.ca/posts/expressiveness-spectrum
#HackerNews #Monads #Expressiveness #FunctionalProgramming #Haskell #SoftwareDevelopment #HackerNews
-
Monads are too powerful: The Expressiveness Spectrum
https://chrispenner.ca/posts/expressiveness-spectrum
#HackerNews #Monads #Expressiveness #FunctionalProgramming #Haskell #SoftwareDevelopment #HackerNews