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
Yeah I saw this talk recently and thought it looked cool! Haven't yet delved into the paper though. The system defined looks pretty advanced. Not sure how much PL stuff you have looked at before but it's understandable to find the notation a bit overwhelming.
1
2
Replying to
I can link you to some resources for beginning reading PL notation if it helps? It's a super handy thing to learn, and always happy to help if you need it.
They don't cover everything, and as usual notation can be a bit context-sensitive etc. but these are what we normally link people to on the /r/ProgrammingLanguages discord:
- siek.blogspot.com/2012/07/crash-
- blog.acolyer.org/2018/01/26/a-p
1
4
Show replies