search

ProjetPP / Papers

Administrative documents and potential papers
7 stars 2 forks source link

Grammaire du datamodel #58

Closed Ezibenroc closed 9 years ago

Ezibenroc commented 9 years ago

L'intérêt d'une pull request est d'initier une discussion sur un problème.

Grammaire fausse: merci d'indiquer où.

Inutile: on définit une structure inductive. Donc si, la grammaire est utile.

marc-chevalier commented 9 years ago

Les grammaires ne servent pas à ça. Elles servent à définir une syntaxe concrète, surement pas une structure inductive abstraite.

Tu ne fais aucun typage dans ta grammaire, elle est forcément fausse.

marc-chevalier commented 9 years ago

D'autre part, assener une grammaire de plusieurs lignes, ça n'aide pas le lecteur qui ne connait pas les nœuds. Il ne peut que se dire "soit... bon on oublie et on lit la suite".

De plus, une grammaire avec aussi peu de lignes n'apportent pas grand chose.

Enfin, graphiquement, c'est dégueulasse.

Une grammaire n'aurait de sens que pour donner le langage utilisé en pratique, dans la section sur l’implémentation de ce datamodel. Mais... JSON.