#algebraiceffects — Public Fediverse posts

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

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

From 11:00 to 12:00 on Tuesday, February 17, the PLUSLE reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.

https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/

#PLUSLE #algebraicEffects #effectSystems #semantics #logic #programmingLanguages

From 11:00 to 12:00 on Tuesday, February 17, the PLUSLE reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.

https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/

#PLUSLE #algebraicEffects #effectSystems #semantics #logic #programmingLanguages

From 11:00 to 12:00 on Tuesday, February 17, the PLSL reading group will discuss "An Introduction to Algebraic Effects and Handlers" by Matija Pretnar.

https://plsl.acp.sdu.dk/posts/2026-02-17-an-introduction-to-algebraic-effects-and-handlers/

#PLSL #algebraicEffects #effectSystems #semantics #logic

Control structures in programming languages: from goto to algebraic effects

http://xavierleroy.org/control-structures/

#HackerNews #ControlStructures #ProgrammingLanguages #Goto #AlgebraicEffects #HackerNews

Control structures in programming languages: from goto to algebraic effects

http://xavierleroy.org/control-structures/

#HackerNews #ControlStructures #ProgrammingLanguages #Goto #AlgebraicEffects #HackerNews

🎩✨ Algebraic effects are the latest buzzword, promising to save us from the horrors of untestable code and supply chain attacks, because clearly, what we need is *more* #complexity in software 😅. #Flix is here to remind us that if it sounds fancy, it must be the next big thing, right? 🛠️🤷‍♂️
https://www.relax.software/blog/flix-effects-intro/ #AlgebraicEffects #SoftwareDevelopment #UntestableCode #HackerNews #ngated

🎩✨ Algebraic effects are the latest buzzword, promising to save us from the horrors of untestable code and supply chain attacks, because clearly, what we need is *more* #complexity in software 😅. #Flix is here to remind us that if it sounds fancy, it must be the next big thing, right? 🛠️🤷‍♂️
https://www.relax.software/blog/flix-effects-intro/ #AlgebraicEffects #SoftwareDevelopment #UntestableCode #HackerNews #ngated

🎩✨ Algebraic effects are the latest buzzword, promising to save us from the horrors of untestable code and supply chain attacks, because clearly, what we need is *more* #complexity in software 😅. #Flix is here to remind us that if it sounds fancy, it must be the next big thing, right? 🛠️🤷‍♂️
https://www.relax.software/blog/flix-effects-intro/ #AlgebraicEffects #SoftwareDevelopment #UntestableCode #HackerNews #ngated

🎩✨ Algebraic effects are the latest buzzword, promising to save us from the horrors of untestable code and supply chain attacks, because clearly, what we need is *more* #complexity in software 😅. #Flix is here to remind us that if it sounds fancy, it must be the next big thing, right? 🛠️🤷‍♂️
https://www.relax.software/blog/flix-effects-intro/ #AlgebraicEffects #SoftwareDevelopment #UntestableCode #HackerNews #ngated

Algebraic Effects in Practice with Flix

https://www.relax.software/blog/flix-effects-intro/

#HackerNews #AlgebraicEffects #Flix #Programming #Languages #SoftwareDevelopment #HackerNews

Algebraic Effects in Practice with Flix

https://www.relax.software/blog/flix-effects-intro/

#HackerNews #AlgebraicEffects #Flix #Programming #Languages #SoftwareDevelopment #HackerNews

🚨 Breaking News: Algebraic Effects have solved all of humanity's problems! 🌍✨ Dive into this riveting tale of jargon and buzzwords where "Why?" is asked more times than at a toddler's birthday party. 🎈🤔 Spoiler: You're still left wondering... why? 🤷‍♂️
https://antelang.org/blog/why_effects/ #AlgebraicEffects #HumanityProblems #JargonBuzzwords #WhyNot #CuriousMinds #HackerNews #ngated

🚨 Breaking News: Algebraic Effects have solved all of humanity's problems! 🌍✨ Dive into this riveting tale of jargon and buzzwords where "Why?" is asked more times than at a toddler's birthday party. 🎈🤔 Spoiler: You're still left wondering... why? 🤷‍♂️
https://antelang.org/blog/why_effects/ #AlgebraicEffects #HumanityProblems #JargonBuzzwords #WhyNot #CuriousMinds #HackerNews #ngated

🚨 Breaking News: Algebraic Effects have solved all of humanity's problems! 🌍✨ Dive into this riveting tale of jargon and buzzwords where "Why?" is asked more times than at a toddler's birthday party. 🎈🤔 Spoiler: You're still left wondering... why? 🤷‍♂️
https://antelang.org/blog/why_effects/ #AlgebraicEffects #HumanityProblems #JargonBuzzwords #WhyNot #CuriousMinds #HackerNews #ngated

🚨 Breaking News: Algebraic Effects have solved all of humanity's problems! 🌍✨ Dive into this riveting tale of jargon and buzzwords where "Why?" is asked more times than at a toddler's birthday party. 🎈🤔 Spoiler: You're still left wondering... why? 🤷‍♂️
https://antelang.org/blog/why_effects/ #AlgebraicEffects #HumanityProblems #JargonBuzzwords #WhyNot #CuriousMinds #HackerNews #ngated

Why Algebraic Effects?

https://antelang.org/blog/why_effects/

#HackerNews #AlgebraicEffects #Programming #Language #Effects #FunctionalProgramming #HackerNews

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

https://react-book.melange.re/intro/
I love #ocalm.

it has many superpowers
- #soundcomplete and #strong #typesystem with #typeinference

- #algebraiceffects
- #algebraicdatatypes
- #GADT
- #patternmatching
- pragmatic by default #immutanbility
- pragmatic and optional laziness
it gives confidence and correctness via type system and compiles
#ocaml shape languages like #scala and #rust also #Fsharp is just reincarnation of ocaml for dotnet
Melange brings this power to #reactnative developers.

I am still working on it, but I am already really fond of this paper
by @pigworker and @reifyreflect and Craig McLaughlin

"Do Be Do Be Do" ;-)

I advise it for a nicely exemplified dive into algebraic effects #algebraicEffects

https://arxiv.org/abs/1611.09259

I guess this ties into effect handling and #algebraicEffects ? 🤔
Not sure how the types would look or what conversions would be coherent though...

I write about algebraic effects (in #Haskell) as a means to break down software into manageable units that can then be composed back: https://dimjasevic.net/marko/2021/04/03/too-much-power-will-kill-you/index.html

I find the IO monad too powerful to work with.

#TypeSystems #EffectSystem #AlgebraicEffects #FunctionalProgramming