Re: [GeOCaml] news

[AKA El Bofo]

Le Tue, 27 Apr 2004 10:01:58 +0200 Georges Mariano
<address@hidden> a écrit :

> On Tue, 27 Apr 2004 02:57:05 +0200
> Nicolas FRANCOIS (AKA El Bofo) <address@hidden> wrote:
> 
> > OK. Les projets ne semblent pas si "orthogonaux" que cela : ce qu'il
> > manque a DrGeoCaml, c'est un langage de description (et aussi la
> > gestion des macros, mais j'ai essaye de concevoir mes structures dans
> > cette optique, donc ca ne semble pas si eloigne que cela). 
> 
> les macros : le dernier problème traité dans GeOCaml ! ;-) maintenant
> faut voir ce que sa donne (projet étudiant) et éventuellement s'adapter
> à une autre proposition. L'idée que j'ai eu récemment et qui va
> contenter probablement tout le monde c'est de voir (syntaxiquement) les
> macros comme des énoncés de théorèmes (ou vice-versa ;-)

On peut creer des balises speciales. Je pense a :

<Goal highlight="liste_d_objets_surlignes" ... /Goal>
pour un enonce a prouver
<Theoreme entrees="..." sorties="..." /Theoreme>
pour un theoreme reliant des objets,
<Macro entrees="..." sorties="..." commentaire="..." /Macro>

et d'autres choses du meme genre. Le but etant de se detacher le plus
possible d'une interface ou d'une autre, ou d'un langage particulier.

Apres cela, il s'agit simplement de faire des filtres corrects vers les
differentes plateformes. Si les balises xml sont bien pensees, le reste
devrait etre du gateau.
 
> > Il y a pas
> > mal d'options en ce domaine, et des choses deja faites : le langage
> > geocaml, eukleides... Il y a de bonnes idees a prendre dans chacun, et
> > tout depend un peu de ce qu'on veut qu'une telle application soit
> > capable de faire.
> 
> tout à fait d'accord, et des rapports inria intéressants également ;-)
> 
> 
> > On peut maintenir deux projets separes dans Gna ? Ou bien faut-il
> > creer deux projets, plus un troisieme pour les eventuelles rencontres
> > de technologies ?
> Je viens juste de recevoir la confirmation du projet GeOCaml sur gna ...
> (on a déjà la liste geocaml-cvs ;-) là j'ai été un peu vite, j'eu du
> prendre un autre nom plus générique... cela dit, GeOCaml me semble
> générique non ? ;-) Ensuite, s'il y a des contribution/fusion, ça peut
> simplement se faire par modules/sous-répertoire

GeoCaml me va parfaitement. Et comme je disais, pour egayer la page de
garde :

- some great llamas in every corner, playing great peplums with
  thousands of actors charging the lamas' fortresses...
  
> > de se placer au centre de l'univers ;-) : il devrait etre a la racine,
> > et se decliner en toutes les syntaxes possibles par des fichiers xslt.
> > Et AUSSI vers .geo ;-)
> 
> Sauf que dans une optique pédagogique, il est plus facile de saisir du
> .geo. Mais sinon effectivement sur le principe xml devrait être au
> centre. Il y a juste un point d'entrée ex-centré, le .geo 
> 
> Et définir un langage pseudo-naturel est en soit intéressant ;-)

Bien sur. Ce sont deux choses distinctes. En externe, tu parles en petit
chinois a ton utilisateur, mais a la machine, il lui faut un support xml a
la base. C'est, selon moi, pourquoi il faudrait developper la librairie
des parsers a part, comme le soulignait Julien. Et donc trouver un plus
grand commun multiple a toutes les taches que nous voulons accomplir (ou
plutot coder), de maniere a faciliter les travaux d'export vers les
differents langages de nos futurs utilisateurs.

> [c'est pas dans coq qu'on pouvait avoir les preuves en langage naturel
> ? ;-)]
>  
> > PS : puis-je etre inscrit sur la liste address@hidden pour
> > faciliter les conversations ?
> 
> ben je vais créer la liste analogue sur gna (geocaml-devel ?) ... et
> ensuite on fait comme ça

Donc, je peux assumer qu'en postant sur address@hidden, je
contacte tout le monde ? On peut rajouter [GeoCaml] dans tous les
en-tetes, pour faciliter les archivages ?

Plus plus tard, pour le moment, le bain de ma fille, et diner chez la
belle-soeur ;-)

\bye

-- 

Nicolas FRANCOIS
http://nicolas.francois.free.fr

We are the Micro$oft.
Resistance is futile.
You will be assimilated.