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.1 required=5.0 tests=AWL,MISSING_HEADERS 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 EB978BB84 for ; Fri, 26 Sep 2008 18:17:32 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DAKCn3EjAXQImiGdsb2JhbACTIAEBARUiqXWBZA X-IronPort-AV: E=Sophos;i="4.33,315,1220220000"; d="scan'208";a="29628981" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 18:17:32 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QGHWdI005560 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 18:17:32 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DABao3EhbucREiGdsb2JhbACTIAEBARUiqXyBZA X-IronPort-AV: E=Sophos;i="4.33,315,1220220000"; d="scan'208";a="17803443" Received: from post.literal.si ([91.185.196.68]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2008 18:17:31 +0200 Received: from localhost (post.literal.si [91.185.196.68]) by post.literal.si (Postfix) with ESMTP id 15CF810E4807 for ; Fri, 26 Sep 2008 18:17:31 +0200 (CEST) X-Virus-Scanned: amavisd-new at literal.si Received: from post.literal.si ([91.185.196.68]) by localhost (post.literal.si [91.185.196.68]) (amavisd-new, port 10024) with ESMTP id fYG3jqEfSfap for ; Fri, 26 Sep 2008 18:17:30 +0200 (CEST) Received: from [192.168.1.100] (BSN-77-148-136.static.dsl.siol.net [193.77.148.136]) by post.literal.si (Postfix) with ESMTP id 69CCA10E4805 for ; Fri, 26 Sep 2008 18:17:30 +0200 (CEST) Message-ID: <48DD0B19.7080802@andrej.com> Date: Fri, 26 Sep 2008 18:17:29 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 Cc: Caml Subject: Re: [Caml-list] Teaching ocaml programming References: <715700.7037.qm@web54607.mail.re2.yahoo.com> In-Reply-To: <715700.7037.qm@web54607.mail.re2.yahoo.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48DD0B1C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 ocaml:01 gedit:01 ocaml:01 syntax:01 compilation:01 doable:01 unix:01 caml-list:01 unresolved:02 programming:03 shell:04 linux:07 linux:07 As far as I see, there are two options: 1) Windows + Eclipse + OcaIDE 2) Linux. The students know next to nothing about Unix. If I dive into using Linux, then I might as well setup anonymous subversion access to source code. They could use gedit for editing (it has ocaml syntax hilight mode), and the shell for ocamlbuild. The only unresolved question is how to deal with compilation errors. The generation that I am getting is very small (maybe 10 students), so this might be doable with such a small number. I will think about it. Thanks for your suggestions. By the way, Live CD is not really an option. I suspect the computer lab computers are "protected" against that. Best regards, Andrej