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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 36155BB84 for ; Fri, 26 Sep 2008 13:30:40 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DAA9l3EjAXQIniGdsb2JhbACTHwEBARUiqHSBZA X-IronPort-AV: E=Sophos;i="4.33,313,1220220000"; d="scan'208";a="17376852" Received: from concorde.inria.fr ([192.93.2.39]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 13:30:14 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QBU7rg007060 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 13:30:07 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DAB5k3EjBAkMtiGdsb2JhbACTHwEBARUiqHaBZA X-IronPort-AV: E=Sophos;i="4.33,313,1220220000"; d="scan'208";a="17784947" Received: from postar.fmf.uni-lj.si ([193.2.67.45]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 26 Sep 2008 13:30:06 +0200 Received: from localhost (localhost [127.0.0.1]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id CFE6BB09D6F for ; Fri, 26 Sep 2008 13:30:04 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at fmf.uni-lj.si Received: from postar.fmf.uni-lj.si ([127.0.0.1]) by localhost (postar.fmf.uni-lj.si [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id Woi+IPXX0c2P for ; Fri, 26 Sep 2008 13:30:01 +0200 (CEST) Received: from [193.2.67.88] (ditka.fmf.uni-lj.si [193.2.67.88]) by postar.fmf.uni-lj.si (Postfix) with ESMTP id A7B7BB09E1B for ; Fri, 26 Sep 2008 13:30:00 +0200 (CEST) Message-ID: <48DCC7B8.4070700@fmf.uni-lj.si> Date: Fri, 26 Sep 2008 13:30:00 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 To: Caml Subject: Teaching ocaml programming Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 48DCC7BF.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 ocaml:01 ocaml:01 cygwin:01 toplevel:01 toplevel:01 emacs:01 ubuntu:98 experimental:01 xemacs:02 xemacs:02 confusing:02 face:97 languages:03 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