Joakim Ahnfelt-Rønne

04/14/2023, 7:01 PM
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.

Rafi Khan

04/15/2023, 2:22 AM
Looks great!