Type inference on hover for Firefly
# two-minute-week
j
Type inference on hover for Firefly
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.
r
Looks great!