From: Michel.Mauny@inria.fr (Michel Mauny)
To: eyssette@hera.unice.fr (Frederic Eyssette)
Cc: caml-list@margaux
Subject: Re: editeur pour Caml-light sur PC
Date: Wed, 10 Feb 1993 11:36:48 +0100 (MET) [thread overview]
Message-ID: <9370.732388388@margaux.inria.fr> (raw)
In-Reply-To: <9301201500.AA20870@hera.unice.fr> from "Frederic Eyssette" at Jan 20, 93 03:00:49 pm
> 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.
>
> Je trouve que Caml est un excellent outil pour l'enseignement de
> l'algorithmique.
> Nous disposons d'un bon parc de PC, dont pas mal de 386
>
>
> MAIS......
>
> il n'y a pas d'editeur integre et il est difficile de convaincre des etudiants
> qui ont goute au confort des turbo... de l'interet d'utiliser Caml.
>
> Quelqu'un compte-t-il developper un editeur integre pour Caml-light sur PC (et
> meme, si ca simplifie le probleme pour PC386 avec carte VGA...) ?
>
> Je compte proposer comme projet a des etudiants de Maitrise d'integrer a
> Caml-light sur PC un editeur du style de Pepe pour Le_lisp. Ca fournirait
> au moins une maquette et je connais bien Pepe que j'ai deja fait ameliorer
> sur PC dans le cadre d'un projet d'etudiants.
>
> Etes-vous interesse ?
> Avez-vous des avis ?
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".
> Frederic Eyssette
Michel Mauny
next prev parent reply other threads:[~1993-02-10 11:22 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-01-20 15:00 Frederic Eyssette
1993-02-10 10:36 ` Michel Mauny [this message]
[not found] <9302101122.AA11296@margaux.inria.fr>
1993-02-10 11:46 ` carrez
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9370.732388388@margaux.inria.fr \
--to=michel.mauny@inria.fr \
--cc=caml-list@margaux \
--cc=eyssette@hera.unice.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).