Tu veux dire quoi précisément par "démontrer leur langage informatique" ? Démontrer qu'il était Turing-complet ? Démontrer que les implémentations du langage étaient cohérentes par rapport à sémantique ?
Ils ont montrés que son expressivité était bonne comparée à d'autres langages pour une certaine tâche donnée ?
Parce que tout ça, c'est des questions qu'on peut définir scientifiquement, plus précises que ta question qui ne veut rien dire en elle même.
[^] # Re: La lettre
Posté par thoasm . En réponse au journal [HS] Fin de la récré pour les climato-sceptiques ?. Évalué à 4.
Tu veux dire quoi précisément par "démontrer leur langage informatique" ? Démontrer qu'il était Turing-complet ? Démontrer que les implémentations du langage étaient cohérentes par rapport à sémantique ?
Ils ont montrés que son expressivité était bonne comparée à d'autres langages pour une certaine tâche donnée ?
Parce que tout ça, c'est des questions qu'on peut définir scientifiquement, plus précises que ta question qui ne veut rien dire en elle même.