From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA02094; Thu, 2 May 2002 13:16:52 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA02084 for ; Thu, 2 May 2002 13:16:50 +0200 (MET DST) Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g42BGnX03718 for ; Thu, 2 May 2002 13:16:49 +0200 (MET DST) Received: from localhost (localhost [127.0.0.1]) by saul.cis.upenn.edu (8.12.2/8.12.2) with SMTP id g42BGmmI001803; Thu, 2 May 2002 07:16:48 -0400 (EDT) To: Jacques Garrigue cc: caml-list@inria.fr Reply-to: bcpierce@cis.upenn.edu Subject: Re: [Caml-list] OCaml IDEs for beginners? In-reply-to: Your message of Thu, 02 May 2002 07:56:51 +0900. <20020502075651X.garrigue@kurims.kyoto-u.ac.jp> Date: Thu, 02 May 2002 07:16:48 EDT Message-ID: <1802.1020338208@saul.cis.upenn.edu> From: "Benjamin C. Pierce" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Thanks, Jacques, > The browsing capabilities are certainly useful for middle-beginners, > to get acquointed with the libraries. I have often done it with > students here, and this works really well. > > Use of the editor and the shell may be good for real beginners too, > but some improvements might help. You can already easily send a > function from the editor to the shell (Alt-X), but there is no > handling of shell errors. Yet, you can already typecheck stuff inside > the editor, so you can make sure you never send wrong code. > Type inspection should be a boon for beginners, but currently you get > no information when there is a type error, and this would be really > nice to have it. > > More generally the behaviour of the editor and he shell have some > rough edges, which are hard to handle with Tk. This might be improved > by moving to GTK 2 (not GTK 1.2, the text widget is too weak). >>From playing with it for a few minutes myself, my impression was that a good OCaml hacker could probably turn it into a decent (maybe not great) beginner IDE with a couple of weeks of effort -- mainly just reorganizing windows and menus and leaving the functionality pretty much the same. But it sounds like this is not really worth putting much effort into before lablgtk2.0 is ready. > As for working with subsets of the language, the answer, as always, > seems to be camlp4. How easy is it to delete a rule from a grammar? I had wondered about this, actually. I know that the full OCaml grammar is a somewhat complex beast -- e.g., there are lots of reduce/reduce conflicts. So (without having tried it, either via camlp4 or by hacking the full compiler) I'm not confident that it would be very easy to predict the consequences of deleting rules. Benjamin ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners