#effectsystem — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #effectsystem, aggregated by home.social.
-
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