This poster showing the grammar of Pascal in colourful railroad diagrams is rather glorious! Found in “50 Years of Pascal”: cacm.acm.org/magazines/2021
read image description
ALT
6
19
87
Conversation
How about Oberon? :O
3
Check out “Refinement Types: A Tutorial” by and arxiv.org/abs/2010.07763 if you haven't already! Code is here: github.com/ranjitjhala/sp (I need to get around to this because I hope to add them to Fathom 😅)
1
2
Btw can I just call out Pascal's range types and arrays parametrized by the index types? They are super neat - would be really cool to see static checking of those! 🥰