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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id B6B64BB84 for ; Fri, 26 Sep 2008 18:55:46 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DAACx3EjAXQIniGdsb2JhbACTIAEBARUiqg+BZA X-IronPort-AV: E=Sophos;i="4.33,315,1220220000"; d="scan'208";a="15392239" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2008 18:55:46 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QGtjUY021333 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 18:55:46 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap8DAEix3EhbucREiGdsb2JhbACTIAEBARUiqg+BZA X-IronPort-AV: E=Sophos;i="4.33,315,1220220000"; d="scan'208";a="17392375" Received: from post.literal.si ([91.185.196.68]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 18:55:11 +0200 Received: from localhost (post.literal.si [91.185.196.68]) by post.literal.si (Postfix) with ESMTP id 87C7610E47E7; Fri, 26 Sep 2008 18:55:10 +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 RRvvdckmBSUa; Fri, 26 Sep 2008 18:55:08 +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 E5CAD10E47D7; Fri, 26 Sep 2008 18:55:07 +0200 (CEST) Message-ID: <48DD13EB.4060005@andrej.com> Date: Fri, 26 Sep 2008 18:55:07 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 To: Arthur Chan Cc: Caml Subject: Re: [Caml-list] Teaching ocaml programming References: <48DCC7B8.4070700@fmf.uni-lj.si> <48DCDF9D.6040401@inescporto.pt> <48DCE49F.7000604@fmf.uni-lj.si> <74cabd9e0809260915v675c31w584653d597b7d92f@mail.gmail.com> In-Reply-To: <74cabd9e0809260915v675c31w584653d597b7d92f@mail.gmail.com> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 48DD1411.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 ocaml:01 ocaml:01 ubuntu:98 threads:01 wrote:01 caml-list:01 graphics:02 programming:03 gui:03 chan:04 teaching:08 bauer:09 bauer:09 Arthur Chan wrote: > I think we should think outside the box here. Yes, this really is "outside the box": you suggest I should not use Ubuntu+Eclipse to teach ocaml because it does not support Scala, and you tell me I should teach C before I teach ocaml just so that people see how bad C is. Definitely outside the box ;-) I only need pure ocaml, no graphics, no gui, no OS, no threads, just happy little language implementations (see http://andrej.com/plzoo/). Andrej