14 ms·
What gave me the most perspective on programming language design was reading Leslie Lamport's papers on TLA+. His views on the necessary differences between a
by tailrecursion 4y ago
What gave me the most perspective on programming language design was reading Leslie Lamport's papers on TLA+. His views on the necessary differences between a P.L. and a specification language gave me a clearer idea what programming languages really are. If I recall, Lamport has several papers on TLA+ for mere mortals that are very easy to read.
- cloogshicer 4y agoThis sounds really great - could you recommend/link some specific ones? Thanks in advance!
- tkhattra 4y ago[1] is a particular one regarding specification languages and types. its background description about a "rabidly pro-types" referee is quite interesting... [1] http://lamport.azurewebsites.net/pubs/pubs.html#lamport-types http://lamport.azurewebsites.net/pubs/pubs.html#lamport-type...
- cloogshicer 4y agoSo a bit of digging brought up this [1], which seems to be a list of all relevant papers. It's annotated with short summaries and historical background by Leslie Lamport himself. Seems like a great starting point! Still, I'd love to hear some specific recommendations for the topic you mentioned, it sounds super interesting. [1] https://lamport.azurewebsites.net/pubs/pubs.html https://lamport.azurewebsites.net/pubs/pubs.html