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=AWL 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 0A4F0BB84 for ; Fri, 26 Sep 2008 22:30:44 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj0DAGPj3EjCpx6wiGdsb2JhbACTLgEBARUiqUyBZg X-IronPort-AV: E=Sophos;i="4.33,316,1220220000"; d="scan'208";a="29636095" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 22:30:43 +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 m8QKUhJb013002 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 22:30:43 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj0DAGPj3EjCpx6wiGdsb2JhbACTLgEBARUiqUyBZg X-IronPort-AV: E=Sophos;i="4.33,316,1220220000"; d="scan'208";a="29636094" Received: from smtpmin.univ-orleans.fr (HELO min.univ-orleans.fr) ([194.167.30.176]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 22:30:42 +0200 Received: from smtps.univ-orleans.fr (localhost [127.0.0.1]) by min.univ-orleans.fr (Postfix) with ESMTP id 9592612B4A5; Fri, 26 Sep 2008 22:30:42 +0200 (CEST) Received: from [192.168.0.12] (ras75-4-82-235-58-110.fbx.proxad.net [82.235.58.110]) by smtps.univ-orleans.fr (Postfix) with ESMTP id 7BDDE36E60; Fri, 26 Sep 2008 22:30:46 +0200 (CEST) Subject: Re: [Caml-list] Teaching ocaml programming From: David Teller To: Andrej.Bauer@andrej.com Cc: Caml In-Reply-To: <48DCC7B8.4070700@fmf.uni-lj.si> References: <48DCC7B8.4070700@fmf.uni-lj.si> Content-Type: text/plain Date: Fri, 26 Sep 2008 22:30:43 +0200 Message-Id: <1222461043.6250.2.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.12.1 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48DD4673.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 univ-orleans:01 ocaml:01 emacs:01 customised:01 emacs:01 tuareg:01 cheers:01 0200,:01 andrej:01 cygwin:01 toplevel:01 toplevel:01 andrej:01 beginner's:01 After teaching OCaml for two years, I personally suggest * Ubuntu + GODI * Emacs + Emacs-goodies (slightly customised to obtain tabs, I can send you my .emacs) + Tuareg -- (Emacs is much better than XEmacs, at least for this -- and the tabs are a tremendous help) * OcamlBuild with a myocamlbuild.ml written by you. Cheers, David On Fri, 2008-09-26 at 13:30 +0200, Andrej Bauer wrote: > Once again I am teaching a course on theory of programming languages in > which we will use ocaml to implement mini-languages. And once again I > face the question: which programming environment should we use? > > I have so far tried to use (under Windows) > 1. cygwin + ocaml + XEmacs > 2. Eclipse + OcaIDE > > The second solution worked better than the first, for the simple reason > that XEmacs is a complete mystery to students. They really, really hate > it. But even with the second soltion we had a lot of trouble, because > Eclipse is really complicated, and OcaIDE is sort of experimental and > not so good under Windows, so the whole setup was confusing and fragile. > > The requirements are very simple: > 1. easy access to toplevel (with line-editing) > 2. editor which can send stuff to toplevel, points to errors in source > code, and is not Emacs. > > Any ideas what to do? We have dual-boot machines (Windows + Ubuntu). > > Best regards, > > 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 > -- David Teller-Rajchenbach Security of Distributed Systems http://www.univ-orleans.fr/lifo/Members/David.Teller Angry researcher: French Universities need reforms, but the LRU act brings liquidations.