Stream: show and tell

Topic: Intro to Roc Demo at Func Prog Sweden


view this post on Zulip Luke Boswell (May 30 2024 at 03:21):

I just watched Richard's demo at Func Prog Sweden and thought it was a really good overview of Roc and some of the latest features. I thought I might share it here in case anyone is interested.

I particularly like seeing the ! syntax and errors handling, with Richard's description of what it feels like to work with. Even though I've been fairly involved with implementing these features I learnt some things and new ideas for how to work with these.

https://youtu.be/7R204VUlzGc?si=BizCtqiMJyiikNQ3

view this post on Zulip Aaron Strick (May 30 2024 at 05:15):

Absolutely. This video is a landmark. Seeing the different language features come together as a workflow is magical.

And Richard is compelling as ever. :raised_hands: .

view this post on Zulip Pearce Keesling (May 30 2024 at 22:45):

The part that really blew my mind was that type inference was able to infer the deserializer based on what cases the code handled. I've never seen something like that before

view this post on Zulip Richard Feldman (May 30 2024 at 23:23):

shout-out to @Ayaz Hafiz for that one! :raised_hands:

view this post on Zulip Karl (May 30 2024 at 23:26):

Is that mechanism available to user code or is it exclusive to encoders/decoders?

view this post on Zulip Richard Feldman (May 31 2024 at 01:33):

kinda both? They're implemented ordinary Abilities, and you can define your own Abilities, but what's specialabout them is that the compiler knows about the builtin abilities (also including Eq and Hash, for example) and automatically implements those abilities for structural types like records


Last updated: Jul 06 2025 at 12:14 UTC