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 XAA09988; Fri, 3 May 2002 23:12:15 +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 XAA10011 for ; Fri, 3 May 2002 23:12:14 +0200 (MET DST) Received: from amber.ccs.neu.edu (amber.ccs.neu.edu [129.10.116.51]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g43LCDX01571 for ; Fri, 3 May 2002 23:12:13 +0200 (MET DST) Received: from NORTHEASDX5RFA (pitcairn.ccs.neu.edu [129.10.115.112]) by amber.ccs.neu.edu (Postfix) with ESMTP id 37FE71AA9F for ; Fri, 3 May 2002 17:12:09 -0400 (EDT) Reply-To: From: "Paul Steckler" To: Subject: RE: [Caml-list] OCaml IDEs for beginners? Date: Fri, 3 May 2002 17:12:09 -0400 Message-ID: <000701c1f2e7$2f90caf0$70730a81@NORTHEASDX5RFA> MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: quoted-printable X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.2627 In-Reply-To: <15135.1020429224@saul.cis.upenn.edu> Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Yes, Matthew Flatt and David Goldberg are actively working on a DrOcaml, which would work within the current DrScheme environment. As a proof of concept for this approach, there's a primitive Algol60 environment for the working version of DrScheme. =20 As Benjamin points out, it's a lot of work ... -- Paul > -----Original Message----- > > 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. >=20 > 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. >=20 > 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... >=20 > > And of course, this all needs to be modifiable for an instructor > > so that they can turn on/off features in language levels. >=20 > 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. >=20 > 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