From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A33017FB0A for ; Wed, 26 Nov 2014 15:26:37 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of drupyog+caml@zoho.com) identity=pra; client-ip=74.201.84.156; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of drupyog+caml@zoho.com designates 74.201.84.156 as permitted sender) identity=mailfrom; client-ip=74.201.84.156; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="drupyog+caml@zoho.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@sender1.zohomail.com) identity=helo; client-ip=74.201.84.156; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="drupyog+caml@zoho.com"; x-sender="postmaster@sender1.zohomail.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgcCAADidVRKyVScnGdsb2JhbABbFoNCV8ghhksCgQoWAQEBAQERAQEBAQEGDQkJFC6EAwEBAgIyAQULATQDDgsYCRYPCQMCAQIBRQYBDAgBAYgmAQMBBA0ECbpqhXgCijEiKCWGBAEBAQcBAQEBFweQGGqETZN/g06HNIE1P2CFOIsGiAd2AQGCSAEBAQ X-IPAS-Result: AgcCAADidVRKyVScnGdsb2JhbABbFoNCV8ghhksCgQoWAQEBAQERAQEBAQEGDQkJFC6EAwEBAgIyAQULATQDDgsYCRYPCQMCAQIBRQYBDAgBAYgmAQMBBA0ECbpqhXgCijEiKCWGBAEBAQcBAQEBFweQGGqETZN/g06HNIE1P2CFOIsGiAd2AQGCSAEBAQ X-IronPort-AV: E=Sophos;i="5.07,462,1413237600"; d="scan'208";a="109701568" Received: from sender1.zohomail.com ([74.201.84.156]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-MD5; 26 Nov 2014 15:26:36 +0100 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=zapps768; d=zoho.com; h=message-id:date:from:user-agent:mime-version:to:subject:references:in-reply-to:content-type; b=IzBdxuwGd3/g119CENx3lz//jrmYtke0NmnY8UQCMzLkakPg/bVlNhjmbeucJaXnHpIvFpZXRegZ I92lzFUosGhCG+BvUOwwP/ZHfh7veJ5otVUCL9/J0379w85BFAUL Received: from [192.168.1.50] (ivr94-8-88-162-25-213.fbx.proxad.net [88.162.25.213]) by mx.zohomail.com with SMTPS id 1417011980292260.79944942901125; Wed, 26 Nov 2014 06:26:20 -0800 (PST) Message-ID: <5475E309.8080801@zoho.com> Date: Wed, 26 Nov 2014 15:26:17 +0100 From: Drup User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 MIME-Version: 1.0 To: John Whitington , "caml-list@inria.fr" References: <5474AF6B.407@coherentgraphics.co.uk> <5474C87D.4030307@coherentgraphics.co.uk> <5474C8C4.2010807@coherentgraphics.co.uk> In-Reply-To: <5474C8C4.2010807@coherentgraphics.co.uk> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 8bit X-ZohoMailClient: External X-Zoho-Virus-Status: 2 Subject: Re: [Caml-list] teaching OCaml There are custom toplevels for js_of_ocaml where you can experiment with reactive and interactive features, a bit like Elm's "IDE". See https://github.com/ocsigen/js_of_ocaml#toplevel and http://ocsigen.github.io/js_of_ocaml/#version=4.02.0 The source code is [here][1] and should be quite easy to modify if you want to add a library (or modify the UI to make the drawing area bigger). [1]: https://github.com/ocsigen/js_of_ocaml/tree/master/toplevel Le 25/11/2014 19:21, John Whitington a écrit : > Hi, > > Robert Muller wrote: >> Thank you John. I will look at your graphics library, much appreciated. >> I didn't require it this first time through but many of my students >> bought your book: >> >> http://www.cs.bc.edu/~muller/teaching/cs110105/f14/lib/html/textbooks.html >> >> >> They tell me it is very helpful. >> >> To me, what is needed to get ML-in-101 off the ground is simplicity: >> >> 1. a simple implementation/IDE that is trivial to install and "just >> works" on macs, Windows (and linux, I suppose), I am thinking of >> something like the experience I had in the past with Dr. Java. >> 2. a simple, no fuss library for graphics, animation and audio something >> like Sedgewick & Wayne's stdlib (http://algs4.cs.princeton.edu/code/) >> 3. decent error messages for both syntax errors and type errors. >> >> Ideally, I would prefer that both the IDE and the graphics/audio were >> hosted in a brower >> much like in Elm (http://elm-lang.org/). > > Have you seen this? I've not used it but I believe it's related: > > https://github.com/andrewray/iocaml > >> I am only dimly aware of other universities teaching ML. I know that >> some folks in Denmark are using F#. Do you know if any schools in Europe >> are using OCaml in intro courses? > > Here's a list, to which you can add yourself: > > http://ocaml.org/learn/teaching-ocaml.html > > We teach Standard ML at Cambridge, so we have even fewer tools :-) But > then we don't do anything graphical. Our first years do ML & Java, so > they get plenty of graphical / GUI work with Java. > > Here's what our ML course looks like (and, basically, has done since > 1994): > > http://www.cl.cam.ac.uk/teaching/1415/FoundsCS/fcs-notes.pdf >