#effectsystem — Public Fediverse posts

Managing Side Effects: A #JavaScript #EffectSystem in 30 Lines or Less

https://lackofimagination.org/2025/11/managing-side-effects-a-javascript-effect-system-in-30-lines-or-less/

Effekt Language | A research language with effect handlers and lightweight effect polymorphism

https://effekt-lang.org/

@yosh @jsbarretto You're probably both interested in this (because I've heard you talk about effect systems in the past in the context of #Rust #RustLang). 😉

#EffectSystem #ProgrammingLanguage

This thread is a gold mean on #Scala, #threads, #fibers, #effectSystem, #interruptionModel, #cps, kotlin away limits, #loom...
❤️❤️❤️
Bookmarked!
https://fosstodon.org/@raulraja/109548570392642482

My thoughts on treating errors as values in #Haskell: "Errors are Values Too" ~
https://dimjasevic.net/marko/2021/05/05/errors-are-values-too/index.html

#TypeSystems #ErrorHandling #EffectSystem #Polysemy #Servant #WebService #Monad

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