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 s...

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:

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