From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=HTML_MESSAGE autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 13B07BB84 for ; Fri, 26 Sep 2008 19:44:21 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4CAL+83EhIDtydjmdsb2JhbACCMDCQAz4BAQEBCQkMBw8FoV8FZocnAQKDHg X-IronPort-AV: E=Sophos;i="4.33,316,1220220000"; d="scan'208";a="29632013" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 19:44:20 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QHiK1V008404 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 19:44:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar4CAL+83EhIDtydjmdsb2JhbACCMDCQAz4BAQEBCQkMBw8FoV8FZocnAQKDHg X-IronPort-AV: E=Sophos;i="4.33,316,1220220000"; d="scan'208";a="29632012" Received: from fg-out-1718.google.com ([72.14.220.157]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 19:44:19 +0200 Received: by fg-out-1718.google.com with SMTP id e21so713676fga.25 for ; Fri, 26 Sep 2008 10:44:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:reply-to :to:subject:cc:in-reply-to:mime-version:content-type:references; bh=T2agccgswPUMkEj6/PzNMXdlQbyA+lomeOmGJs+LOew=; b=ujA8UxewKKA0BHsp7vOJVGfy7oDoLTLEGNfJYEwczTOU11zNI0Fabsq+G5+u79MlDD JanyJ1qfg55JuS7rEJ2KG+/UUKU+6ZgURCwuO3HhcaTktNcNDj3mq8b7EGRr01hAjOhz mq6M5K4xNqEGCqBLsTAMBkAlvAC1iCh7D2P4I= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:reply-to:to:subject:cc:in-reply-to :mime-version:content-type:references; b=bVGBw7/WiSRmtdQYf0RAGmxcGeLiFqUDoh0Jy82NGrFhG6ru+gGQe+ZevtzzhnfWV+ jETq+CWK9F04fyJ/2OJV+hHdufU3NY22PltxbVdnIjdDWWmHLCWelSMpopnLIxC9ZC3d Q1Yuiq7DgIu3R91Ay71W9GFgGAR76YUXsc2OU= Received: by 10.180.225.16 with SMTP id x16mr815829bkg.91.1222451059119; Fri, 26 Sep 2008 10:44:19 -0700 (PDT) Received: by 10.180.225.8 with HTTP; Fri, 26 Sep 2008 10:44:19 -0700 (PDT) Message-ID: <891bd3390809261044x2bcf2a70mf44b828b288c627@mail.gmail.com> Date: Fri, 26 Sep 2008 13:44:19 -0400 From: "Yaron Minsky" Reply-To: yminsky@gmail.com To: Andrej.Bauer@andrej.com Subject: Re: [Caml-list] Teaching ocaml programming Cc: Caml In-Reply-To: <48DCD870.5020202@fmf.uni-lj.si> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_19369_29991607.1222451059117" References: <48DCC7B8.4070700@fmf.uni-lj.si> <23DFDBA7-C437-44E7-8495-D35F396A3889@cs.berkeley.edu> <48DCD870.5020202@fmf.uni-lj.si> X-Miltered: at discorde with ID 48DD1F74.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; yaron:01 minsky:01 yminsky:01 ocaml:01 drscheme:01 shriram:01 ocaml:01 andrej:01 andrej:01 drscheme:01 haskell:01 beginner's:01 bug:01 shriram:01 haskell:01 ------=_Part_19369_29991607.1222451059117 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline Have you considered DrOCaml? It builds on top of the pedagogically oriented DrScheme environment. I think they've been using it at Brown for a year or two now, to good effect. I think Shriram Krishnamurthi is the guy at Brown who ran the class, so you should ask him. I agree that getting a good pedagogical IDE for OCaml is an important goal. We'd love to fund a summer project working towards that goal. I suspect DrOCaml is the best step in that direction so far. y On Fri, Sep 26, 2008 at 8:41 AM, Andrej Bauer wrote: > How can there be no easy to use interface?! This is pathetic. > > Python has IDLE. Scheme has drscheme. Java has drjava. What does Haskell > have? > > I compiled Camelia (which required me to debug C++ code for the first time > in about 20 years). It's kind of ok. The user interface is a bit broken, > lots of uneccessary pop-up dialogs (e.g., for every error message). > > > Andrej > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > ------=_Part_19369_29991607.1222451059117 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline
Have you considered DrOCaml?  It builds on top of the pedagogically oriented  DrScheme environment.  I think they've been using it at Brown for a year or two now, to good effect.  I think Shriram Krishnamurthi is the guy at Brown who ran the class, so you should ask him.

I agree that getting a good pedagogical IDE for OCaml is an important goal.  We'd love to fund a summer project working towards that goal.  I suspect DrOCaml is the best step in that direction so far.

y

On Fri, Sep 26, 2008 at 8:41 AM, Andrej Bauer <Andrej.Bauer@fmf.uni-lj.si> wrote:
How can there be no easy to use interface?! This is pathetic.

Python has IDLE. Scheme has drscheme. Java has drjava. What does Haskell have?

I compiled Camelia (which required me to debug C++ code for the first time in about 20 years). It's kind of ok. The user interface is a bit broken, lots of uneccessary pop-up dialogs (e.g., for every error message).


Andrej

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

------=_Part_19369_29991607.1222451059117--