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.1 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 7F3C3BB84 for ; Fri, 26 Sep 2008 18:15:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0FANun3EjRVaK2emdsb2JhbACCLzCQAz4BARQkA6FVa4cvAQI X-IronPort-AV: E=Sophos;i="4.33,315,1220220000"; d="scan'208";a="17390979" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 18:15:37 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8QGFVql005492 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 26 Sep 2008 18:15:36 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0FANun3EjRVaK2emdsb2JhbACCLzCQAz4BARQkA6FVa4cvAQI X-IronPort-AV: E=Sophos;i="4.33,315,1220220000"; d="scan'208";a="17390968" Received: from el-out-1112.google.com ([209.85.162.182]) by mail3-smtp-sop.national.inria.fr with ESMTP; 26 Sep 2008 18:15:16 +0200 Received: by el-out-1112.google.com with SMTP id j27so211738elf.9 for ; Fri, 26 Sep 2008 09:15:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:to :subject:cc:in-reply-to:mime-version:content-type:references; bh=qRhAyDLmS5AQ5dEm3EE2LQnDCNgdLh600gUVrlK3s3M=; b=lU+LDY6MolWFykJjf3+6r3b0kurRG8ahcMtKgiNiyE5t1KKIF7wUItQ1SwisHeQl43 8U36QJcpWaHiyMOZikVBwbtuCFjA0IRKkLYwC4ymxDgyzT9varTxQs7searr3I9peuYj OM3i8nKOX2iq/bUBdCh7+VBwTF30ociE3Gl3A= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:to:subject:cc:in-reply-to:mime-version :content-type:references; b=poVuQYqvJGIufnWngEuvj3+fknyIt4TPZPCqjGU/3w+y3BMYtgwjtpJ9WdgyZp+EUP wsAlDE6gwCXI2s8XCDrCRc7+Ko2kPFSCdZKDEqmL4KN3tNRkVjYTvzTa9iQXtbjCf7HT 2EmJ5piuhHDQJ7YeFMKxXR+DkD309XMSed7pM= Received: by 10.151.109.11 with SMTP id l11mr2233911ybm.206.1222445714981; Fri, 26 Sep 2008 09:15:14 -0700 (PDT) Received: by 10.151.108.18 with HTTP; Fri, 26 Sep 2008 09:15:14 -0700 (PDT) Message-ID: <74cabd9e0809260915v675c31w584653d597b7d92f@mail.gmail.com> Date: Fri, 26 Sep 2008 09:15:14 -0700 From: "Arthur Chan" To: Andrej.Bauer@andrej.com Subject: Re: [Caml-list] Teaching ocaml programming Cc: Caml In-Reply-To: <48DCE49F.7000604@fmf.uni-lj.si> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_11522_27701782.1222445714983" References: <48DCC7B8.4070700@fmf.uni-lj.si> <48DCDF9D.6040401@inescporto.pt> <48DCE49F.7000604@fmf.uni-lj.si> X-Miltered: at discorde with ID 48DD0AA3.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 emacs:01 gtk:01 andrej:01 andrej:01 compilation:01 beginner's:01 bug:01 emacs:01 gtk:01 compilation:01 beginner's:01 bug:01 rescue:98 X-Attachments: cset="UTF-8" cset="UTF-8" ------=_Part_11522_27701782.1222445714983 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline I think we should think outside the box here. Make sure your OCaml has prerequisites that involve some shittier language like C, which is taught in a Unix environment with xemacs. Once the students have seen how awful it can get and they associate the terrible learning experience with C (what's with the lack of love for emacs anyway? =/), then you come to the rescue. :-D Btw, I wouldn't try to use OCaml with Ubuntu, or *any* recent language that has been in development. Support is generally flaky. The mainline OCaml that comes with Ubuntu is fine, but the gl+gtk support is broken. The version of Eclipse that ships with Ubuntu is freaking ancient and won't support the Scala plugin. From what I remember, 8.0.4 also shipped with some fossilized version of Scala itself. On Fri, Sep 26, 2008 at 6:33 AM, Andrej Bauer wrote: > Hugo Ferreira wrote: > >> To make things simpler you may: >> 0. Use ocamlbuild projects only. >> 1. Prepare ocamlbuild files (tags and myocamlbuild) if necessary. >> 2. Provide a workspace with an example project ready for compilation. >> 3. Let the students use only one project with various source files. >> > > Yes, we do all of this, but unfortunately ocamlbuild under Windows sucks > because the trick with symbolic links to executables does not work. Has this > been fixed yet? (Also, ocamlbuild assumes bash is in the path, also under > Windows.) > > 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 > ------=_Part_11522_27701782.1222445714983 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: 7bit Content-Disposition: inline
I think we should think outside the box here.

Make sure your OCaml has prerequisites that involve some shittier language like C, which is taught in a Unix environment with xemacs.  Once the students have seen how awful it can get and they associate the terrible learning experience with C (what's with the lack of love for emacs anyway? =/), then you come to the rescue.  :-D

Btw, I wouldn't try to use OCaml with Ubuntu, or *any* recent language that has been in development.  Support is generally flaky.  The mainline OCaml that comes with Ubuntu is fine, but the gl+gtk support is broken.  The version of Eclipse that ships with Ubuntu is freaking ancient and won't support the Scala plugin.  From what I remember, 8.0.4 also shipped with some fossilized version of Scala itself.


On Fri, Sep 26, 2008 at 6:33 AM, Andrej Bauer <Andrej.Bauer@fmf.uni-lj.si> wrote:
Hugo Ferreira wrote:
To make things simpler you may:
0. Use ocamlbuild projects only.
1. Prepare ocamlbuild files (tags and myocamlbuild) if necessary.
2. Provide a workspace with an example project ready for compilation.
3. Let the students use only one project with various source files.

Yes, we do all of this, but unfortunately ocamlbuild under Windows sucks because the trick with symbolic links to executables does not work. Has this been fixed yet? (Also, ocamlbuild assumes bash is in the path, also under Windows.)

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

------=_Part_11522_27701782.1222445714983--