chris martens (they/them) on Nostr: Dale Miller on the importance of examples in PL: "The most important thing that one ...
Dale Miller on the importance of examples in PL:
"The most important thing that one should do before seriously proposing a new logic or a new programming language designs is to collect examples, a lot of examples. Examples give one confidence that a design might be worth all the work involved in proving theorems (and having readers understand the proofs) and in building implementations."
https://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/personal-perspective06.pdf
"The most important thing that one should do before seriously proposing a new logic or a new programming language designs is to collect examples, a lot of examples. Examples give one confidence that a design might be worth all the work involved in proving theorems (and having readers understand the proofs) and in building implementations."
https://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/personal-perspective06.pdf