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=1.7 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 1BCE3BC37 for ; Fri, 4 Sep 2009 16:25:16 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ai0DAFfAoEpiiCwplGdsb2JhbACSA4k8AQEBAQkLCAkTA6wlgSiQOAEFAwGEFwU X-IronPort-AV: E=Sophos;i="4.44,333,1249250400"; d="scan'208";a="32215892" Received: from n69.bullet.mail.sp1.yahoo.com ([98.136.44.41]) by mail2-smtp-roc.national.inria.fr with SMTP; 04 Sep 2009 16:25:15 +0200 Received: from [216.252.122.218] by n69.bullet.mail.sp1.yahoo.com with NNFMP; 04 Sep 2009 14:25:14 -0000 Received: from [67.195.9.82] by t3.bullet.sp1.yahoo.com with NNFMP; 04 Sep 2009 14:25:14 -0000 Received: from [67.195.9.97] by t2.bullet.mail.gq1.yahoo.com with NNFMP; 04 Sep 2009 14:25:14 -0000 Received: from [127.0.0.1] by omp101.mail.gq1.yahoo.com with NNFMP; 04 Sep 2009 14:25:14 -0000 X-Yahoo-Newman-Property: ymail-3 X-Yahoo-Newman-Id: 87344.87685.bm@omp101.mail.gq1.yahoo.com Received: (qmail 84428 invoked by uid 60001); 4 Sep 2009 14:25:14 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=yahoo.com; s=s1024; t=1252074313; bh=JZtnUgPA34Yg/cyFp9fuJ5tNg0t2snNM2iswGUkIwW8=; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=Gb20XDfDU2AHyuuZfYcLPaljVIcF2pYAFl6PYSztjfN63RoY85pu5nGm5SYgx0E5YmXpeqBbzuLNkKqDIyQSyYuOrfsnBbNR5w9g+FaB4khbLg++DgroCPH63OrUYfz4PtdTbxag4rRE9SyLv3/noICUaXmJV4UW6BZybX+YsSg= DomainKey-Signature:a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:X-YMail-OSG:Received:X-Mailer:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=LJzL/0Ev0LyhplXuas1zGvPW8nWP8vmbQzLt61At6aZYhZbsrgodb3pYNd0N9XS3Ph3r/qDkWpj1qkJ9q87xZxuPNevZ7XzGYmvS1qEWnr5sA1hEwZ5aru0T1qldrG4Pd/FBrE/wzSlkWciKTf9z/lQf2vp6k6rxnYbcuiuUbUs=; Message-ID: <980376.83525.qm@web111513.mail.gq1.yahoo.com> X-YMail-OSG: AxpNOyQVM1mPaet0egSy5V.Vw04wfqGCVfmVqn2KV65U6icFtrpz59auPr_SCYO7PJ0hjNimyOMe4QNASYwMjnZJwdgytCdpSJBhH96y6MSCvduh5Tq0_K5DFUa9dM7rtjbtIGZCN7L0dW6lMu3EVDbYzR4J8BQOeJvN1V1TFWpKCBErbJpQB_KI9I_Jt51R1GxrkiO7nty5kRXjzqOYQHIOI3XEaCwxgJqQiIO0u4b25MPtYGFAHqFANG56XsUyx_sVZxg17dY8oeLnT9qx47WOvV6LhA-- Received: from [213.205.71.55] by web111513.mail.gq1.yahoo.com via HTTP; Fri, 04 Sep 2009 07:25:13 PDT X-Mailer: YahooMailClassic/6.1.2 YahooMailWebService/0.7.347.2 Date: Fri, 4 Sep 2009 07:25:13 -0700 (PDT) From: Dario Teixeira Subject: Re: [Caml-list] Why don't you use batteries? To: caml-list@yquem.inria.fr, Andrej Bauer MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; ocaml:01 ocaml:01 1337:01 apt-get:01 compensated:98 beginners:01 beginners:01 caml-list:01 short:01 argument:02 seems:03 seems:03 install:05 install:05 computing:05 Hi,=0A=0A> I would use batteries and would recommend it to my students if t= here=0A> were any chance they would succeed installing it. In other words,= =0A> batteries is too hard to install. This may not be so on Linux, but=0A>= what about Windows (99% of my students use Windows only)?=0A=0AThis issue = of Ocaml + Windows installation woes comes up all too often=0Aon this list,= and not just when Batteries are concerned.=A0 It simply=0Aboggles my mind = that beginners will put themselves to such ordeals=0Awhen modern computing = offers a much easier solution: if you really must=0Abe running Windows as y= our main OS, then use a virtualisation solution=0Ato run Ocaml inside a Lin= ux guest!=0A=0ASure, your students may not be familiar with Linux, but you = don't have=0Ato be a "1337 Hax0r" to fire up a terminal and run "apt-get in= stall".=0AEven if your students need a couple of hours of introduction to L= inux,=0Athat time will quickly be compensated by the ease of installing Oca= ml=0Apackages under Linux.=A0 Moreover, and to be blunt, if your students a= re=0Anot capable of making a tiny accommodation towards Linux, then trying= =0Ato teach them Ocaml seems as consequential as teaching pigs to sing.=0A= =0AIn short, the "ease of installation" argument seems like a red herring= =0Aas far as beginners are concerned.=0A=0ABest regards,=0ADario Teixeira= =0A=0A=0A=0A=0A