3 ms·
Nice, first I'm hearing of bluefin - I'll be sure to check it out. As an aside, I watched an Alexis King stream (which I can't now find) in which she did a dee
by mrkeen 2y ago
Nice, first I'm hearing of bluefin - I'll be sure to check it out.
As an aside, I watched an Alexis King stream (which I can't now find) in which she did a deep dive into effect systems and said something along the lines of: algebraic effect systems should not change their behaviour depending on nesting order e.g. Either<State<>> vs State<Either<>>.
Does bluefin have a particular philosophy about how to approach this?
- tome 2y agoI agree with Alexis. Bluefin approaches this by not actually having a nesting order. The effects that can be performed as specified as function arguments, so they can be freely reordered without changing behaviour. effectful, which was one of the inspirations for Bluefin, is similar but uses constraints instead of function arguments, which are even more free to reorder. > I'll be sure to check it out Great! If you have any questions or thoughts then feel free to file an issue on the repo (https://github.com/tomjaguarpaw/bluefin/issues/new https://github.com/tomjaguarpaw/bluefin/issues/new).
- hnaf 2y agoSorry, I don’t know why my post on bots was removed. I couldn’t reply to you. Oh well.