Joakim Ahnfelt-Rønne 2023-04-14 19:01:11
Type inference on hover for Firefly
Joakim Ahnfelt-Rønne 2023-04-14 19:06:00
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.
Gabriel Grinberg 2023-04-15 19:21:21
Some Flyde progress:
- Run flow from the editor itself! (before that, you had to write some code to load the flow and trigger it yourself
- 5 "New flow" templates - from HTTP examples to a memoized recursive Fibonacci sequence 🤓
- Some general UI tweaks (Large "part menu", hotkeys screen)
youtube.com/watch?v=7x5Ij4aVi_o (no sound)