C++OnSea 2025 SESSION ANNOUNCEMENT: Safe and Readable Code: Monadic Operations in C++23 by @asperamanca

https://cpponsea.uk/2025/session/safe-and-readable-code-monadic-operations-in-cpp23

Register now at https://cpponsea.uk/tickets/

#expected #functor #monad #optional #ranges

In #haskell, if you were implementing, say, a Lisp interpreter, is there a "REPL monad"?

It feels like there should be one, but I cannot think of it for the life of me...

#Haskell #functional_programming #monad

Once again, for clarity, a jQuery object is a monad.

#jQuery #monad

I think #xkcd is making a #monad joke here:

https://xkcd.com/3085/

#haskell #burritos

The 9th Amendment of the U.S. Constitution:
"The enumeration in the Constitution, of certain rights, shall not be construed to deny or disparage others retained by the people."

I always liked this one because it has a sort of mathematical "closure" property. It's not enough to say "this is the set of laws", it's more than that. You can't enumerate all of a person's rights, in effect.say

Legal scholars might argue that this amendment is practically useless, and use the 14th instead. Also the 10th amendment has basically given those rights to the States through precedent.

But I like the 9th. It has Mathematical Beauty, and shows that some laws are unknowable

#monad #closure #cantor

''All told, a #monad in X is just a monoid in the category of endofunctors of X, with product × replaced by composition of endofunctors and unit set by the identity endofunctor.”

https://stackoverflow.com/a/3870310

A #monad is when you know how to convert $M (M a)$ to $M a$, but not $M a$ to $a$.

#haskell #categorytheory #functionalprogramming

거꾸로 상태 모나드로 강화 학습 하기 (1/2)

https://hackers.pub/@bgl/2025/reverse-state-monad-for-reinforcement-learning

Алгебраические эффекты на Javascript

В этой статье я хотел рассказать об интересном подходе к построению программ, описанному в книге Sandy Maguire, Algebra-Driven Design. Подход позволяет строить программы на основе абстрактных математических структур и законов. Это позволяет разработать обобщенные подходы к их созданию и тестированию. Но потом я понял, что в этом мало смысла без объяснения, почему такой подход в принципе имеет право на существование. В книге для примеров используется Haskell - ленивый, чистый функциональный язык, имеющий крайне мало отношения к языкам, которые широко применяются на практике. Распространено мнение, что приемы, используемые в Haskell, существуют в основном для преодоления его же недостатков и в других языках не нужны. Например, про монады пишут, что это оторванная от реальной жизни абстракция, которую не встретить в повседневной работе. Нет ничего более далекого от истины. Монады - это не костыль, а мощная абстракция, которая позволяет выявить связь между такими непохожими языками, как C и Haskell, и свести к одному знаменателю такие далекие друг от друга концепции как асинхронные функции и глобальные переменные. Так что в этой статье я ограничусь описанием алгебраического программирования на примере монады. Я по шагам пройду путь от классической, сравнительно бесполезной в динамически типизированных языках монады, до Freer монады, которая обладает настолько удивительными свойствами, что может найти применение даже в императивном языке. Вы убедитесь, что алгебраический подход применим в обычных языках и дает превосходные результаты.

https://habr.com/ru/articles/598203/

#monad #монада #free_monad #algebraic_effects

[Перевод] Исследуем монады в Rust через тестирование на основе свойств

В педагогике программирования монады занимают место мистического объекта из мира функционального программирования, который трудно понять и еще труднее объяснить. Стереотип о сложности объяснения монад заключается в том, что они делятся на две категории: либо сравнение с каким-то продуктом питания , либо написание сложного математического жаргона, в чем проблема?

https://habr.com/ru/articles/887234/

#Rust #quickcheck #monad #propertybasedtesting

EL CONQUISTA!!
store.steampowered.com/app/3106150/El_Conquista/?beta=0
#Hades2 #wishlistwednesday #IndieGameDev #monad #Sims4 #BlackMythWukong #Conquest #aoex #PPNaravitBDProject2025 #unity

Comparing the chart of #Monad tutorials by year[1] with the Gartner hype cycle graph, it seems like we are almost at the Peak of Inflated Expectations phase now.

[1]: From the list of Monad tutorials (https://wiki.haskell.org/Monad_tutorials_timeline).

In my lifetime, I hope to see the Slope of Enlightenment phase when people stop asking what a Monad is, and the further Plateau of Productivity phase when everyone knows what it is.

#programming #functionalprogramming #haskell

Our next family making game. Hope y'all like it!!
https://t.co/tA4R60C2Pb
#Hades2 #wishlistwednesday #IndieGameDev #monad #Sims4 #BlackMythWukong #Conquest #aoex #PPNaravitBDProject2025 #unity

https://t.co/tA4R60C2Pb
Our next overworld space conquest game. Hope y'all like it!!
#minecraft #TrailerTuesday #IndieGameDev #monad #Sims4 #BlackMythWukong #Conquest #aoex #PPNaravitBDProject2025

Прагматичное функциональное программирование в Java

Прагматичное функциональное программирование в Java при помощи монады XResult<T> , которая сочетает в себе свойства Optional<T> , Result<T> и Either<L,R> Читать далее ...

https://habr.com/ru/articles/876736/

#monad #optional #result #either #error_handling