Luke Boswell (May 30 2024 at 03:21): 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
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: .
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
Richard Feldman (May 30 2024 at 23:23):shout-out to @Ayaz Hafiz for that one! :raised_hands:
Karl (May 30 2024 at 23:26):Is that mechanism available to user code or is it exclusive to encoders/decoders?
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 26 2025 at 12:14 UTC