❤️❤️ the responses
Quote Tweet
PL twitter: quick, what's the scariest screenshot you can find of a paper with an overwhelming amount of inference rules?
Show this thread
1
1
20
Conversation
Serious question: do people (outside of the paper authors) actually understand what these rules mean?
7
4
I consume PL papers as part of my job, and I do actually get a lot of value out of these rules! Sometimes as a reader they can be hard to parse at first. Like anything it takes a bit of taste to use them effectively as a form of communication.
1
10
This said, I *do* think it would be cool to take a step back and think about how we design PL notation in a way that makes communication easier. I definitely think it's an unfortunate barrier to entry, and can be hard to deal with even if you are experienced with it.
3
6
At the very least, I'd personally love an "intro to reading these", complete with exercises
1
1
You may already know this one, but this is one I send people who are interested: siek.blogspot.com.au/2012/07/crash- - but yeah I reckon it would be cool to also have something more substantial.
1
2
5
Having some sort of rosetta stone between natural deduction, inductive data types, functions, and logic programming would be kind of neat too. You can't do a complete mapping, but it's still useful to know how they match up.