The final encoding of freer monads is both faster and more intuitive than the initial encoding. As a ReaderT IO person, I'm convinced final freer is a good alternative for most use cases

Kind of weird that initial Free was the first variant to become popular, given that it's slow and forces the user to store the continuation in their own datatype

Show thread
Sign in to participate in the conversation

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !