I think I learned an extremely important life hack today
when you want to consume information from a white paper from PL research academia and you never went through a PHD program / can't understand their greek grammars, check to see if they gave a talk on the paper instead!
Conversation
This tweet is brought to you by the rage I experienced when I first read this white paper and wasn't able to properly understand it:
cs.cornell.edu/andru/papers/u
Followed by my delight when I realized there is a talk for the same research!
5
3
70
As someone deeply invested in error handling within Rust, I'm extremely excited about this research and can't wait to see it applied in practice. Thank you , , and .
1
2
45
+1 I am a big fan of this work. We immediately implemented it in the Effekt language.
1
5
In case you haven't see Jeremy Yallop's repo.
1
4
Yeah, I was not sure how long it would take for the thank you to turn into an "F u, where do I start/stop reading" 😅
Really depends on how you want to go about it. For code, you can try out languages like Unison. For intro materials, perhaps some of the OCaml stuff is useful.
2
1
The Koka guide might also be interesting to check out, but the language is experimenting with lots of syntactic sugar which I find a bit confusing tbh