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 52D14BB84 for ; Fri, 10 Oct 2008 19:08:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsQEAM8o70hbucREWGdsb2JhbACTUQEhI6kmgWw X-IronPort-AV: E=Sophos;i="4.33,390,1220220000"; d="scan'208";a="15936575" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Oct 2008 19:08:12 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m9AH8BIf010295 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 10 Oct 2008 19:08:12 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsQEAM8o70hbucREWGdsb2JhbACTUQEhI6kmgWw X-IronPort-AV: E=Sophos;i="4.33,390,1220220000"; d="scan'208";a="15936574" Received: from post.literal.si ([91.185.196.68]) by mail2-smtp-roc.national.inria.fr with ESMTP; 10 Oct 2008 19:08:11 +0200 Received: from localhost (post.literal.si [91.185.196.68]) by post.literal.si (Postfix) with ESMTP id A423C10E483E; Fri, 10 Oct 2008 19:08: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 vgkEdZPMp7fU; Fri, 10 Oct 2008 19:08:10 +0200 (CEST) Received: from [192.168.1.8] (unknown [151.16.164.54]) by post.literal.si (Postfix) with ESMTP id DFBA210E483D; Fri, 10 Oct 2008 19:08:09 +0200 (CEST) Message-ID: <48EF8BF8.4050102@andrej.com> Date: Fri, 10 Oct 2008 19:08:08 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.17 (X11/20080925) MIME-Version: 1.0 To: Kuba Ober Cc: caml-list@inria.fr Subject: Re: [Caml-list] Teaching ocaml programming References: <48DCC7B8.4070700@fmf.uni-lj.si> <200810091741.40794.kuba@mareimbrium.org> In-Reply-To: <200810091741.40794.kuba@mareimbrium.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 48EF8BFB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 ocaml:01 toplevel:01 toplevel:01 emacs:01 syntax:01 mingw:01 ocaml:01 pointer:01 cygwin:01 drscheme:01 haskell:01 yup:01 wrote:01 Kuba Ober wrote: >> 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. > > I've been reading through this thread and it all seems like a > 300-liner in Qt/C++ (yes, it's that powerful) (excluding syntax > definition for Qt's editor widget, if one doesn't exist somewhere for > grabs). I should have added a 0-th requirement: 0. easy to install on Windows. This means that anything which requires more than clicking on setup.exe and following some instructions is out of the question (which is why, for example, drocaml is out of question). > Is there a non-Cygwin (mingw?) version of Ocaml for Windows that's > "good enough" for you? If so, I will tackle it over the weekend. My > numerical methods prof was looking for something like that too. Just > give me a pointer to a non-Cygwin version of Ocaml that works for > you; I refuse to deal with anything that has "Cygwin" in it :) It appear that you really are Santa Claus, as you are offering presents. By the way: > On Friday 26 September 2008, Andrej Bauer wrote: >> > How can there be no easy to use interface?! This is pathetic. >> > >> > Python has IDLE. Scheme has drscheme. Java has drjava. What does Haskell >> > have? > > If IDLE is an IDE, then I'm Santa Claus ;) So where exactly did I claim it was an IDE? I just said "easy to use interface". Yup, definitely Santa Claus. Best regards, Andrej