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.4 required=5.0 tests=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 134F3BC69 for ; Thu, 25 Oct 2007 07:14:21 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAALrCH0fAXQInh2dsb2JhbACOWgIBCAop X-IronPort-AV: E=Sophos;i="4.21,328,1188770400"; d="scan'208";a="3619434" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 25 Oct 2007 07:14:20 +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 l9P5EK9K021193 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 25 Oct 2007 07:14:20 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgAAADvDH0dA6aLqkmdsb2JhbACOWgIBAQcEBBMW X-IronPort-AV: E=Sophos;i="4.21,328,1188770400"; d="scan'208";a="5074369" Received: from nz-out-0506.google.com ([64.233.162.234]) by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Oct 2007 07:14:15 +0200 Received: by nz-out-0506.google.com with SMTP id z3so375211nzf for ; Wed, 24 Oct 2007 22:14:14 -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=soHoRZ6MWIYsnnarjMZzMwtX54ZdfX09p4eExYi948s=; b=mmXTVPG8mJKKk7zSJCnh5A6xOHJhtKsYQ9yChhEL9vAxr99a9ljrIKICKSKkUbQK+o+L3RAGP3Oj+pVeLvrlXHl4lFW0wUy+Qu+CgL0zQzsEH7iFtTZ1GZQxO1+aVmPrRieS1Psvg5LEtIs1o4ZtSS6huT499dA8vzU8fPTf88c= 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=DnrtsSfyOM9wEYErN4BxCyyrPq2oSJ7rWgvmXWcgj93Xmzpse8HNXiyTAubmPcJiBzoFB1PX0W+JXN7VEi24dvsS4o8/bRR9Ef7+L4MyEhMy2YO0idyTRfVw/OFiTu8DMLQn2KXz+Hz1RgcPccCaKmp2fAbhvONdsxA/OJX0nAc= Received: by 10.142.12.14 with SMTP id 14mr386494wfl.1193289253681; Wed, 24 Oct 2007 22:14:13 -0700 (PDT) Received: by 10.143.16.8 with HTTP; Wed, 24 Oct 2007 22:14:13 -0700 (PDT) Message-ID: <985701c40710242214l7e266ac3p403bd9733eb8ac91@mail.gmail.com> Date: Thu, 25 Oct 2007 01:14:13 -0400 From: "Aleks Bromfield" To: Adrien Subject: Re: [Caml-list] Which syntax to teach ? Cc: Andrej.Bauer@andrej.com, OCaml , "David Teller" In-Reply-To: <666572260710241205x19edbd4ar840811b1d7a7315f@mail.gmail.com> 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> <471F7F7B.9040905@fmf.uni-lj.si> <666572260710241205x19edbd4ar840811b1d7a7315f@mail.gmail.com> X-Miltered: at concorde with ID 4720262C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; syntax:01 ocaml:01 ocaml:01 emacs:01 drscheme:01 syntax:01 drscheme:01 017:98 sourceforge:01 wrote:01 caml-list:01 let:03 fix:05 scheme:05 scheme:05 On 10/24/07, Adrien wrote: > >From camelia's website : http://camelia.sourceforge.net/ > "Camelia started out as a tool to help students in Brown University's > CS17 have an easier time making the leap from Scheme to OCaml. It's > meant to make writing in OCaml relatively painless without having to > learn the nuances of a powerful editor like Emacs or VI." For the past two years, Brown has used an environment called DrOCaml, built on top of DrScheme. It's perfect for our needs -- we use Scheme for the first half of our intro course, and OCaml for the second, so this saves students from having to learn a new environment halfway through the semester. (Of course, they have to learn a new syntax halfway through the semester, but that's another story...) You can install DrOCaml by first installing DrScheme, and then installing the PLT file at the URL: http://cs.brown.edu/courses/cs017/files/drocaml.plt If you do try this out and you experience any problems, let me know and I'll try to fix them as soon as I get a chance. -- Aleks Bromfield Brown University CS abromfie@cs.brown.edu