#algebraiceffects — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #algebraiceffects, aggregated by home.social.
-
Ah, the classic "I tried to understand algebraic effects, failed miserably, and then realized they're not so scary after all" tale 🤓. Spoiler alert: it ends with a React team inside joke about mental models that only they find funny. Who knew academic PDFs could be such a snooze fest? 💤
https://overreacted.io/algebraic-effects-for-the-rest-of-us/ #algebraicEffects #ReactTeam #mentalModels #programmingHumor #academicPapers #HackerNews #ngated -
Ah, the classic "I tried to understand algebraic effects, failed miserably, and then realized they're not so scary after all" tale 🤓. Spoiler alert: it ends with a React team inside joke about mental models that only they find funny. Who knew academic PDFs could be such a snooze fest? 💤
https://overreacted.io/algebraic-effects-for-the-rest-of-us/ #algebraicEffects #ReactTeam #mentalModels #programmingHumor #academicPapers #HackerNews #ngated -
Ah, the classic "I tried to understand algebraic effects, failed miserably, and then realized they're not so scary after all" tale 🤓. Spoiler alert: it ends with a React team inside joke about mental models that only they find funny. Who knew academic PDFs could be such a snooze fest? 💤
https://overreacted.io/algebraic-effects-for-the-rest-of-us/ #algebraicEffects #ReactTeam #mentalModels #programmingHumor #academicPapers #HackerNews #ngated -
Ah, the classic "I tried to understand algebraic effects, failed miserably, and then realized they're not so scary after all" tale 🤓. Spoiler alert: it ends with a React team inside joke about mental models that only they find funny. Who knew academic PDFs could be such a snooze fest? 💤
https://overreacted.io/algebraic-effects-for-the-rest-of-us/ #algebraicEffects #ReactTeam #mentalModels #programmingHumor #academicPapers #HackerNews #ngated -
Ah, the classic "I tried to understand algebraic effects, failed miserably, and then realized they're not so scary after all" tale 🤓. Spoiler alert: it ends with a React team inside joke about mental models that only they find funny. Who knew academic PDFs could be such a snooze fest? 💤
https://overreacted.io/algebraic-effects-for-the-rest-of-us/ #algebraicEffects #ReactTeam #mentalModels #programmingHumor #academicPapers #HackerNews #ngated -
Algebraic Effects for the Rest of Us
https://overreacted.io/algebraic-effects-for-the-rest-of-us/
#HackerNews #AlgebraicEffects #FunctionalProgramming #Programming #Concepts #SoftwareDevelopment
-
Algebraic Effects for the Rest of Us
https://overreacted.io/algebraic-effects-for-the-rest-of-us/
#HackerNews #AlgebraicEffects #FunctionalProgramming #Programming #Concepts #SoftwareDevelopment
-
Algebraic Effects for the Rest of Us
https://overreacted.io/algebraic-effects-for-the-rest-of-us/
#HackerNews #AlgebraicEffects #FunctionalProgramming #Programming #Concepts #SoftwareDevelopment
-
Algebraic Effects for the Rest of Us
https://overreacted.io/algebraic-effects-for-the-rest-of-us/
#HackerNews #AlgebraicEffects #FunctionalProgramming #Programming #Concepts #SoftwareDevelopment
-
Algebraic Effects for the Rest of Us
https://overreacted.io/algebraic-effects-for-the-rest-of-us/
#HackerNews #AlgebraicEffects #FunctionalProgramming #Programming #Concepts #SoftwareDevelopment
-
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/
-
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/
-
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
-
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
-
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
-
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 -
🚨 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 -
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
-
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
-
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
-
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
-
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
-
I guess this ties into effect handling and #algebraicEffects ? 🤔
Not sure how the types would look or what conversions would be coherent though... -
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