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.9 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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 35A57BC69 for ; Wed, 24 Oct 2007 13:36:14 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAAHbLHkfAXQInh2dsb2JhbACOWQEBAQgKKQ X-IronPort-AV: E=Sophos;i="4.21,324,1188770400"; d="scan'208";a="3586959" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 24 Oct 2007 13:36:13 +0200 Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l9OBaCnN017290 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 24 Oct 2007 13:36:12 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAANXKHkdA6ba4mGdsb2JhbACOWQEBAQEHAgYTGA X-IronPort-AV: E=Sophos;i="4.21,324,1188770400"; d="scan'208";a="5046784" Received: from nf-out-0910.google.com ([64.233.182.184]) by mail3-smtp-sop.national.inria.fr with ESMTP; 24 Oct 2007 13:36:12 +0200 Received: by nf-out-0910.google.com with SMTP id g13so146069nfb for ; Wed, 24 Oct 2007 04:36:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:subject:from:to:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; bh=m5uOXFSUz+DW8kWQOFQzB0VSm+wGwHn/qG00UXluFbc=; b=FjJwwl9aRVhWtnIMBgUJBki2gE2JjyihqNJ/2ubA/jB9bJ2khaZC8ebKKfiB9ndtzTQNIsed/JXQjKFli0nFoOQNVebkqMQJ99wc3mD9EBiX7l3rNSrPIIEvxRZY3/IiY3ZGNoh3Gkmt2UIfyoGmQwp7YA3legXlGK3/bvUZ3dE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:from:to:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=KXF3QfHiCbATw+ihlRXFQ1xM8k0NCFsxFjfL4ZVbH7Tfx5mjlmuwuK8If+6iVjQbRa0Cc77MV/ZrdBI6DG8sfQl1UxPyTclPLCvod1mx5vX4Sw4WyjazvkPCgAZQlLIgOd/BroORG+ea9JqK0UlDEkhiw/1cd5ZaRuNfsG3Ewwg= Received: by 10.86.84.5 with SMTP id h5mr414623fgb.1193225771407; Wed, 24 Oct 2007 04:36:11 -0700 (PDT) Received: from ?192.168.0.2? ( [82.246.197.195]) by mx.google.com with ESMTPS id g8sm1338873muf.2007.10.24.04.36.09 (version=TLSv1/SSLv3 cipher=RC4-MD5); Wed, 24 Oct 2007 04:36:10 -0700 (PDT) Subject: Which syntax to teach ? From: David Teller To: OCaml Content-Type: text/plain Date: Wed, 24 Oct 2007 13:36:13 +0200 Message-Id: <1193225773.3612.27.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit Sender: David Teller X-Miltered: at concorde with ID 471F2E2C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; syntax:01 univ-orleans:01 ocaml:01 syntax:01 command-line:01 ocamlc:01 univ-orleans:01 lifo:01 d'orleans:01 javascript:98 clearer:01 revised:02 laboratoire:03 static:03 distributed:05 Hello list, In a few months, I'll start teaching OCaml for the second consecutive year. I'll solve a number of my problems by installing Linux on the workstations, although I'm pretty sure that will cause no end of complaints from the students when they need to continue their work at home. Right now, however, that's not the issue. I'm just wondering if I should prepare my lectures and exercises using the Original syntax or the Revised syntax. The latest looks clearer and possibly easier to teach but requires additional command-line arguments to ocamlc and I'm not sure I'll be able to find an editor that will display that syntax nicely. Any suggestions or experiences ? Thanks, David -- David Teller ------------------------------------------ Security of Distributed Systems ----------------------- Project JStify: Static Analysis for JavaScript 2 ----- -- http://www.univ-orleans.fr/lifo/Members/David.Teller ----- Laboratoire d'Informatique Fondamentale d'Orleans