Je confirme, ce papier est sublime.
J'ai bien envi de mettre pas mal de chose que je vois dedans dans Lisaac.
Pour la v0.4, ça serait bien.
C'est vrai qu'il serait intéressant de définir les choses de manière plus mathématiques, par exemple de parler d'entiers naturels, d'intervals, de réels, de définir des ensembles du genre A={ (x,y) ¤ X | x<20| y>56}
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker
[^] # Re: Mieux que le C
Posté par Ontologia (site web personnel) . En réponse à la dépêche 23 mars: Conférence au LORIA sur Lisaac, un nouveau langage. Évalué à 2.
J'ai bien envi de mettre pas mal de chose que je vois dedans dans Lisaac.
Pour la v0.4, ça serait bien.
C'est vrai qu'il serait intéressant de définir les choses de manière plus mathématiques, par exemple de parler d'entiers naturels, d'intervals, de réels, de définir des ensembles du genre A={ (x,y) ¤ X | x<20| y>56}
« Il n’y a pas de choix démocratiques contre les Traités européens » - Jean-Claude Junker