From mboxrd@z Thu Jan 1 00:00:00 1970 Received: by margaux.inria.fr, Tue, 6 Oct 92 10:39:15 +0100 Received: from concorde.inria.fr by margaux.inria.fr, Mon, 5 Oct 92 23:04:52 +0100 Received: from mtecv2.mty.itesm.mx by concorde.inria.fr; Mon, 5 Oct 92 23:07:17 +0100 Received: by mtecv2.mty.itesm.mx (5.57/Ultrix3.0-C) id AA05161; Mon, 5 Oct 92 13:49:16 -0600 Date: Mon, 5 Oct 92 13:49:16 -0600 Message-Id: <9210051949.AA05161@mtecv2.mty.itesm.mx> From: Ramon Brena To: caml-light@margaux Sender: weis@margaux Bonjour, Je suis un tout nouvel utilisateur du systeme caml-light, et je suis deja ravi d'avoir fait sa decouverte... (J'utilise le system pour le Macintosh). Je suis un professeur d'informatique dans une universite privee au nord du Mexique (j'ai fait mon PhD a Grenoble), et j'enseigne des cours de langages de programmation, dont il y a deux types: les cours pour les eleves ingenieur, et les cours pour le master en informatique. Nous avons utilise le systeme caml-light comme un exemple pour le theme de l'inference de types, mais je me demande s'il pourrait etre le langage principal des deux cours de langages, au lieu de Scheme, que nous utilisons a l'heure actuelle. Une limitation apparente de caml-light est qu'il n'offre aucune forme d'evaluation paresseuse. A-t-il peut-etre au moins un equivalent de la fonction "delay" de Scheme, qui returne des promesses d'evaluation au lieu d'evaluer tout de suite les arguments ? En ce qui concerne le systeme Macintosh,je le trouve assez bien fait fait, ainsi que facile d'utiliser. Neanmoins, il ne possede pas des facilites standard telles que la selection des mots par "double click", non plus l "auto-wrap" ni l'indentation automatique. Par ailleurs, je vous felicite pour l'enthousiasme que vous montrez en faisant du groupe caml-light un des plus actifs qu'il soit. Cordialement, Ramon Brena