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=none 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 A58FDBB84 for ; Fri, 26 Sep 2008 14:55:23 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0DAL943EiGnQCBjWdsb2JhbACOGoUFAQEBAQkLCAcTqH6BZA X-IronPort-AV: E=Sophos;i="4.33,314,1220220000"; d="scan'208";a="15380511" Received: from discorde.inria.fr ([192.93.2.38]) by mail2-smtp-roc.national.inria.fr with ESMTP; 26 Sep 2008 14:55:23 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QCtNJW028366 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 14:55:23 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av0DAL943EiGnQCBjWdsb2JhbACOGoUFAQEBAQkLCAcTqH6BZA X-IronPort-AV: E=Sophos;i="4.33,314,1220220000"; d="scan'208";a="15380510" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Sep 2008 14:55:23 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id m8QCtLAi053569 ; Fri, 26 Sep 2008 14:55:21 +0200 (CEST) X-Ids: 164 Received: from [134.157.168.19] (dogguy@potassium.pps.jussieu.fr [134.157.168.19]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id m8QCtKbI009906 ; Fri, 26 Sep 2008 14:55:20 +0200 Message-ID: <48DCDBB8.1070704@pps.jussieu.fr> Date: Fri, 26 Sep 2008 14:55:20 +0200 From: Mehdi Dogguy Organization: PPS User-Agent: Mozilla-Thunderbird 2.0.0.16 (X11/20080724) MIME-Version: 1.0 To: Andrej.Bauer@andrej.com Cc: Caml Subject: Re: [Caml-list] Teaching ocaml programming References: <48DCC7B8.4070700@fmf.uni-lj.si> <23DFDBA7-C437-44E7-8495-D35F396A3889@cs.berkeley.edu> <48DCD870.5020202@fmf.uni-lj.si> In-Reply-To: <48DCD870.5020202@fmf.uni-lj.si> Content-Type: text/plain; charset=ISO-8859-2; format=flowed Content-Transfer-Encoding: 7bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0 (shiva.jussieu.fr [134.157.0.164]); Fri, 26 Sep 2008 14:55:21 +0200 (CEST) X-Virus-Scanned: ClamAV 0.93.3/8343/Fri Sep 26 11:43:08 2008 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at discorde with ID 48DCDBBB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at jchkmail2.jussieu.fr with ID 48DCBFBB.010 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 48DCBFBB.010/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-j-chkmail-Score: MSGID : 48DCBFBB.010 on jchkmail2.jussieu.fr : j-chkmail score : X : R=. U=. O=. B=0.184 -> S=0.184 X-j-chkmail-Status: Ham X-Spam: no; 0.00; ocaml:01 andrej:01 drscheme:01 ocaml:01 emacs:01 wrote:01 pps:01 pps:01 caml-list:01 jussieu:01 jussieu:01 python:03 programming:03 scheme:05 interface:06 Andrej Bauer wrote: > How can there be no easy to use interface?! This is pathetic. > > Python has IDLE. Scheme has drscheme. Java has drjava. > And OCaml has Emacs :) -- Mehdi Dogguy http://www.pps.jussieu.fr/~dogguy