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
Last updated 4 years ago