Firefly is a programming language that feels much like newer mainstream languages, but uses a different typing dicipline that comes from Standard ML and early Haskell.
It controls side effects via object capabilities, which doesn't require a dedicated effect system.
Currently we're focusing on adding editor support via the Language Server Protocol.