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
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
: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?
#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
🌘 Monads 的表達能力過於強大：表達能力光譜
➤ 當超能力帶來隱藏成本：反思 Monads 的表達能力
✤ https://chrispenner.ca/posts/expressiveness-spectrum
本文探討了 Monads 在函數式程式設計中的強大之處，但也指出其表達能力可能過於強大，導致隱藏的成本。作者將不同的效果處理方式置於「表達能力」與「靜態分析」的光譜上，並類比動態型別與靜態型別語言的取捨，說明限制程式撰寫的彈性並增加結構和約束，能帶來靜態分析的益處。文章以 Haskell 為例，展示了 Monadic 介面的動態效果選擇特性，以及其在處理複雜流程上的優勢，但也點出這種彈性犧牲了可讀性和靜態分析的能力。進一步介紹了 Applicatives，指出其表達能力不如 Monads，但提供了更好的靜態分析潛力。
+ 這篇文章點醒了我！一直覺得 Monads 很強大，但從來沒想過這種強大可能是一種負擔，限制了我們進行靜態分析的可能性。
+ 作者用很清晰的表達能力光譜來解釋這個概念，讓我對 Mo
#程式設計 #Haskell #Monads #表達能力 #靜態分析
The "do something and if it fails return None" pattern is responsible for a lot of strange bugs in Python code. Stop doing this! None is a valid return type only if "no result" is a valid result. Yeah, in languages like Rust or Haskell the Option monad is pretty popular, but they also force handling it properly. In dynamic languages, you end up with "None" strings, math errors when doing arithmetic operations on None, or even less pretty bugs. In such a case, None should be returned only in cases where user should expect it as a valid result, so is expected to handle it properly. Otherwise, it begs for bugs.
How Does Graph Theory Shape Our World?
https://www.quantamagazine.org/how-does-graph-theory-shape-our-world-20250626
https://en.wikipedia.org/wiki/Graph_theory
Comments
* relational data/basis of knowledge graphs
* philosophy: Leibniz, 1714, monads, linking fundamental objects 😯
https://en.wikipedia.org/wiki/Monadology
#math #GraphTheory #Monadology #Leibniz #monads #KnowledgeGraphs #epistemology #philosophy
How to pass the invisible
https://hackers.pub/@hongminhee/2025/how-to-pass-the-invisible
🚨 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 are just burritos." (I heard this online somewhere)
"You can't understand monads unless you first understand that 'bind' is like unwrapping a tortilla just enough to wrap it again with another filling."
(Bonus joke: the >>= operator is the "re-wrap" action.)
This one is often illustrated with a Haskell burrito diagram. 🌯
