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.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr 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 27EA9BCC0 for ; Fri, 26 Oct 2007 09:02:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANqwIEfRVZKzkmdsb2JhbACOWgIBAQcCBhMWgSk X-IronPort-AV: E=Sophos;i="4.21,330,1188770400"; d="scan'208";a="18617261" Received: from wa-out-1112.google.com ([209.85.146.179]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Oct 2007 00:11:11 +0200 Received: by wa-out-1112.google.com with SMTP id k17so814963waf for ; Thu, 25 Oct 2007 15:11:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; bh=izCZs8JvFNmZ83BsKBrEZtUeQxxUDFae13vMsgdE4Ec=; b=Aj/eWWAeI+Gzc2xA783ensPs1j0+UfiIsQOtHCSyGnRDO8HH+gSHa/9v+UEzP1dLq9mgXyF6ZoA///Mb6SqfZI7wAdmgfTVA8hm4vFuQ+mt+EgFCEa1CMytjikJ6Aojo26q4x8/sB39ISyy9UDMCmgxOfVDB0PADbJJYe3vW3Yc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=REYJYCYUj2RFbo4rMVuaT9pbNjYDXaB5vms2Yb96axTBLKGEGKGbw+x8c/8DU3H+Bi8m+F1YwxH3V6v5nxxGBBG/JtjtA/AEpvomZhGLfiraxdT2r0deUYF4spxArB6+WXTKLlBKqMD2T6mCUCqAFHi4sYK76tN5IGE87LWkUdY= Received: by 10.114.53.1 with SMTP id b1mr162021waa.1193350269418; Thu, 25 Oct 2007 15:11:09 -0700 (PDT) Received: by 10.114.13.16 with HTTP; Thu, 25 Oct 2007 15:11:09 -0700 (PDT) Message-ID: <6f9f8f4a0710251511n15521590iea02ff2dd3985d83@mail.gmail.com> Date: Fri, 26 Oct 2007 00:11:09 +0200 From: "Loup Vaillant" To: Andrej.Bauer@andrej.com Subject: Re: [Caml-list] Which syntax to teach ? Cc: caml-list@yquem.inria.fr In-Reply-To: <4720FD51.4060005@fmf.uni-lj.si> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <1193225773.3612.27.camel@Blefuscu> <200710250010.56979.jon@ffconsultancy.com> <1193276894.5755.88.camel@rosella.wigram> <20071025094922.GB27217@furbychan.cocan.org> <20071025075912.02421c97@elehack.net> <6f9f8f4a0710250639k62c8f2dbkea96340a8d34eca8@mail.gmail.com> <4720FD51.4060005@fmf.uni-lj.si> X-Spam: no; 0.00; syntax:01 andrej:01 andrej:01 toplevel:01 ocaml:01 toplevel:01 tuareg:01 functors:01 ocaml:01 beginners:01 wrote:01 caml-list:01 nightmare:04 fix:05 problem:05 2007/10/25, Andrej Bauer : > Loup Vaillant wrote: > > Aren't a mere Notepad and toplevel sufficient? (At least for a few > > weeks). > > No, because cut & paste does not work in the windows version of ocaml > toplevel. It is a nightmare for beginners. I speak from experience, so > apparently we have different experiences. Oh, s***. Now you remind me, I did have problems with this. It really needs a fix. Emacs's Tuareg mode works fine, though. Too bad it's not an option. (Well, at least, a clueless newbe have a fighting chance with it, unlike vi.) As a last resort, the Camllight toplevel don't have the cut/paste problem. Unless the students are to use functors, classes, or do foreign calls, chances are that Camllight is enough, even for a fairly big project. The differences between Ocaml and Camllight are tiny, so switching to Ocaml later should not cause any problem. Loup