caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Frederic Eyssette <eyssette@hera.unice.fr>
To: caml-list@margaux
Subject: editeur pour Caml-light sur PC
Date: Wed, 20 Jan 93 15:00:49 +0000	[thread overview]
Message-ID: <9301201500.AA20870@hera.unice.fr> (raw)


Je suis un fan de ML en general, de Caml et Caml-light en particulier.
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 ?



    Frederic Eyssette





             reply	other threads:[~1993-01-21 12:58 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
1993-01-20 15:00 Frederic Eyssette [this message]
1993-02-10 10:36 ` Michel Mauny
     [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=9301201500.AA20870@hera.unice.fr \
    --to=eyssette@hera.unice.fr \
    --cc=caml-list@margaux \
    /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).