Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: editeur pour Caml-light sur PC
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: carrez@c...
Subject: Re: editeur pour Caml-light sur PC

eyssette@hera.unice.fr ecrit:
 
> > J'enseigne ces langages dans un DEA Math-Info a Nice et aussi aux etudiants
> >  du magistere d'informatique.
> > Je suis mathematicien et j'enseigne une UV d'algorithmique non numerique en 
> > Licence de Math, et j'ai deja enseigne l'algorithmique en Pascal au niveau 
> > du DEUG.
> > 
> > ...     MAIS......
> > 
> > il n'y a pas d'editeur integre et il est difficile de convaincre des 
> > etudiants qui ont goute au confort des turbo... 

Michel.Mauny@inria.fr repond:

> Il semble qu'une bonne solution consiste a` utiliser un e'diteur dit
> "re'sident" (ne m'en demandez pas trop, je ne connais pas le PC). On
> m'a dit qu'un tel e'diteur e'tait toujours re'sident en me'moire (un
> peu comme les accessoires de bureau sur le Mac a` l'e'poque
> ante'-multifinder), et que ca permettait d'e'diter un fichier sans
> sortir de l'application courante (Caml-Light, en l'occurrence), en
> tapant simplement une combinaison de touches ALT-META-etc.
> 
> Quelqu'un sait-il si un tel e'diteur PC existe en Freeware?
> 
> Cela dit, une telle solution ne retire rien a` l'inte're^t
> pe'dagogique de "pepe en Caml-Light".

Sans rien enlever aux propositions precedentes, une autre solution est
d'essayer de porter l'interface multi window du Mac dans l'environnement
MSDOS/WINDOWS. J'ai moi-meme porte cet interface sur ATARI-ST, je
compte le mettre bientot dans le domaine public. Cela peut, peut-etre
etre une premiere etape. Je ne connais pas assez WINDOWS pour savoir
si le travail est complexe. Je suis pret a communiquer les sources en C.

--------
Christian Carrez		Conservatoire National des Arts et Metiers
carrez@cnam.cnam.fr		Departement d'Informatique
tel: +33 (1) 40 27 22 65 	292 rue Saint Martin
fax: +33 (1) 40 27 27 09	F-75141 Paris Cedex 03