Sto progettando un linguaggio di programmazione e vorrei fornire una documentazione completa per questo.
Finora, ho programmato di scrivere i seguenti documenti:
-
Uno schema di progettazione iniziale, principalmente per ricordare il design e le modifiche proposte, nonché un aiuto per costruire tutti gli altri documenti quando la fase di progettazione è stata completata.
-
Una specifica formale della sintassi e della semantica del linguaggio, sia in inglese che in un'appropriata notazione matematica formale.
-
Un tutorial.
Ho trovato che alcune lingue hanno riferimenti e ho trovato su Wikipedia che riferimenti di lingua e specifiche della lingua non sono esattamente le stesse, i riferimenti sono solitamente meno dettagliati a causa del fatto che sono indirizzati agli utenti della lingua piuttosto che agli implementatori di esso.
Tuttavia, mi piacerebbe sapere ...
-
Quali parti delle specifiche di una lingua vengono di solito omesse in un riferimento al linguaggio?
-
È davvero utile fornire un riferimento al linguaggio quando alla fine un buon programmatore dovrebbe consultare le specifiche della lingua come fonte definitiva di informazioni?
-
Nel caso in cui la risposta alla domanda precedente sia "Sì" ... Vale veramente il rischio di introdurre contraddizioni tra le specifiche del linguaggio e il riferimento al linguaggio?