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 <[EMAIL PROTECTED]>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 >
_______________________________________________ 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