Marko Dimjašević · @mdimjasevic
48 followers · 197 posts · Server mamot.frMy 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
#monad #webservice #servant #polysemy #EffectSystem #errorhandling #typesystems #haskell
Marko Dimjašević · @mdimjasevic
48 followers · 197 posts · Server mamot.frI 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
#functionalprogramming #AlgebraicEffects #EffectSystem #typesystems #haskell