I've mentioned my new effect system, Bluefin, a few times on this forum. It's now ready for me to announce it more formally.

Bluefin's API is differs from all prior effect systems in that it implements a "well typed Handle/Services pattern". That is, all effects are accessed through value-level handles, which makes it trivial to mix a wide variety of effects, including:

• Bluefin.EarlyReturn, for early return
• Bluefin.Exception, for exceptions
• Bluefin.IO, for I/O
• Bluefin.State, for mutable state
• Bluefin.Stream, for streams

If you're interested then read the Introduction to Bluefin. I'd love to know what you all think.