You are viewing archived messages.
Go here to search the history.

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.

Rafi Khan 2023-04-15 02:22:16

Looks great!

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) (no sound)