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.3 required=5.0 tests=AWL autolearn=disabled version=3.1.3 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 6606CBB84 for ; Fri, 26 Sep 2008 16:29:28 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArUBAAOP3EhKfSwcmmdsb2JhbACSYT4BAQEBAQgLCgcRA6EgBWaHOQECgx4 X-IronPort-AV: E=Sophos;i="4.33,314,1220220000"; d="scan'208";a="29623408" Received: from yx-out-2324.google.com ([74.125.44.28]) by mail4-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 16:29:27 +0200 Received: by yx-out-2324.google.com with SMTP id 3so181434yxj.3 for ; Fri, 26 Sep 2008 07:29:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:from:reply-to:to:subject:date :user-agent:cc:references:in-reply-to:content-type :content-transfer-encoding:content-disposition:message-id; bh=bCAeRYRRCjxQI5fZWULpEslQQlM4kF0jCJO/lnHpkxk=; b=XJrmarhpih6y6ADzNf5+VvbGMTfBTaKyR3wVs8jf3w9t7DXix6k8cyNPQPrUplxuAY Y5eMxnVnEz0/o8sqpUILIwggB0yeEjNrp5FcwS/5NOjfI9mJH/M1e3pwV5SCxJyWKYrU PL6aTx4B7sYIjYGd6caMtTjEhKpXl7esVc7vU= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=from:reply-to:to:subject:date:user-agent:cc:references:in-reply-to :content-type:content-transfer-encoding:content-disposition :message-id; b=pTxtkTCmG5Bbc9eflFrc0w3gOnAGzbhbXbcLx8Sjg9P7b5xgJslEca0wutPgwa4FwT g1sHcCKNy4hcAmoWcr6bxds8ra1ejxH5DMq/GR+E2SUeRZs4/qw/DqxR4RkgWxx7xLXT 1dXO57aNIdcnz3CuJf2jO7AiVd5WfLBmF5RkU= Received: by 10.90.29.13 with SMTP id c13mr1550350agc.32.1222439366564; Fri, 26 Sep 2008 07:29:26 -0700 (PDT) Received: from ?192.168.0.102? ( [24.99.180.210]) by mx.google.com with ESMTPS id x55sm1612175hsx.15.2008.09.26.07.29.25 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 26 Sep 2008 07:29:25 -0700 (PDT) From: Peng Zang Reply-To: peng.zang@gmail.com To: caml-list@yquem.inria.fr, Andrej.Bauer@andrej.com Subject: Re: [Caml-list] Teaching ocaml programming Date: Fri, 26 Sep 2008 10:29:20 -0400 User-Agent: KMail/1.9.7 Cc: Caml References: <48DCC7B8.4070700@fmf.uni-lj.si> In-Reply-To: <48DCC7B8.4070700@fmf.uni-lj.si> Content-Type: text/plain; charset="iso-8859-2" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200809261029.24005.peng.zang@gmail.com> X-Spam: no; 0.00; ocaml:01 hash:01 ocaml:01 emacs:01 emacs:01 broadening:01 toplevel:01 andrej:01 cygwin:01 toplevel:01 andrej:01 beginner's:01 bug:01 peng:98 peng:98 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 If you have dual-boot machines, why not try Ocaml + Emacs + tuareg-mode in Ubuntu? You can install tuareg-mode globally so that no one has to touch a .emacs or know about it. If it's the keyboard shortcuts that students are not used to, they can 1) deal or 2) you can remap some common shortcuts and wrap it in a shell script so they run Emacs-for-class instead of standard Emacs. Personally, I think they should just deal. A little exposure to a non-Windows environment, a little broadening of horizons, all good stuff. When I took a programming languages class at UIUC, that is how we learned OCaml. I found it quite easy to pick up. Emacs has the best toplevel integration with OCaml and it sounds like you want to make heavy use of it. Peng PS. I just looked at IDLE and Emacs + OCaml blows it out of the water. I swear IDLE is like a mini-subset of Emacs. Even the keyboard shortcuts are the same. If you like IDLE, Emacs + OCaml can only be better. On Friday 26 September 2008 07:30:00 am Andrej Bauer wrote: > Once again I am teaching a course on theory of programming languages in > which we will use ocaml to implement mini-languages. And once again I > face the question: which programming environment should we use? > > I have so far tried to use (under Windows) > 1. cygwin + ocaml + XEmacs > 2. Eclipse + OcaIDE > > The second solution worked better than the first, for the simple reason > that XEmacs is a complete mystery to students. They really, really hate > it. But even with the second soltion we had a lot of trouble, because > Eclipse is really complicated, and OcaIDE is sort of experimental and > not so good under Windows, so the whole setup was confusing and fragile. > > 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. > > Any ideas what to do? We have dual-boot machines (Windows + Ubuntu). > > Best regards, > > Andrej > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.7 (GNU/Linux) iD8DBQFI3PHDfIRcEFL/JewRAsarAKDPPPcNc2WJcPAlu5amtkrH9PmGUwCgm2mP BrUDh1ukb4mG1HaLC+9Se68= =u7Sx -----END PGP SIGNATURE-----