Bluefin compared to effectful [video]

[hasufell]

@arybczak

Perhaps, but no one can reason about functions in IO more

I tend to disagree. IO is not specific, which is why it’s much easier to reason about it. We treat functions in IO with utmost care and assume nothing.

Whereas with 20+ effects, I have no idea what properties I can derive from that collection.

@michaelpj

I think it would be interesting if the people who say that 20 effects is too much could tell me what they would do with the example I gave.

I’d probably just use IO at that point.