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 OAA31506; Fri, 3 May 2002 14:33:48 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA31501 for ; Fri, 3 May 2002 14:33:47 +0200 (MET DST) Received: from saul.cis.upenn.edu (SAUL.CIS.UPENN.EDU [158.130.12.4]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g43CXkX09477 for ; Fri, 3 May 2002 14:33:46 +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 g43CXimI015136; Fri, 3 May 2002 08:33:44 -0400 (EDT) To: "Gregory Morrisett" cc: "Jacques Garrigue" , caml-list@inria.fr Reply-to: bcpierce@cis.upenn.edu Subject: Re: [Caml-list] OCaml IDEs for beginners? In-reply-to: Your message of Fri, 03 May 2002 08:24:43 -0400. <706871B20764CD449DB0E8E3D81C4D4301EE6D30@opus.cs.cornell.edu> Date: Fri, 03 May 2002 08:33:44 EDT Message-ID: <15135.1020429224@saul.cis.upenn.edu> From: "Benjamin C. Pierce" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > On another note, last time I talked to Matthias, Shriram, and/or > Matthew, they were talking about putting a "DrML" environment > together. I'm not sure whether they were shooting for an SML > or Ocaml environment. Yes, we're in contact with the DrScheme folks, and they (with some help/kibitzing from us at Penn) are definitely working on a DrML environment -- probably for just a "teaching subset" of OCaml. Actually, the motivation for my question on this list a couple of days ago was to check what the fallback alternatives would be in case DrML is not ready for teaching in the fall... > And of course, this all needs to be modifiable for an instructor > so that they can turn on/off features in language levels. Unfortunately, this very wonderful aspect of the DrScheme environment seems to have involved quite a lot of work and special hand-crafting. It's not clear that it can be replicated for other languages with a reasonable amount of work. 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