Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
Monad transformers, free monads, mtl, laws and a new approach (ocharles.org.uk)
95 points by stefans on Feb 9, 2016 | hide | past | favorite | 4 comments


Recent work related to free and "freer" monads: http://okmij.org/ftp/Haskell/extensible/


What is the difference between this and arrows in terms of composition of effects?


This is pretty close to fundamentally a monadic approach. Arrow approaches to effect management are sometimes similar and sometimes very different. It's hard to be more clear since unifying these things as effects is perhaps tenuous than trying to find their common points.


The freer the monads...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: