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
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: .
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
shout-out to @Ayaz Hafiz for that one! :raised_hands:
Is that mechanism available to user code or is it exclusive to encoders/decoders?
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