From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBNIemG7016710 for ; Fri, 23 Dec 2011 19:40:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0BAHvK9E7AbSoIe2dsb2JhbABDhQ+nKCIBARYmBCGBcgEBBSMPAUYQCwkPAgImAgIUGDGID6YKkToTgRyJSjNjBI1HhzqSNg X-IronPort-AV: E=Sophos;i="4.71,400,1320620400"; d="scan'208";a="136646656" Received: from einhorn.in-berlin.de ([192.109.42.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 23 Dec 2011 19:40:47 +0100 X-Envelope-From: oliver@first.in-berlin.de Received: from first (e178031165.adsl.alicedsl.de [85.178.31.165]) (authenticated bits=0) by einhorn.in-berlin.de (8.13.6/8.13.6/Debian-1) with ESMTP id pBNIekbU027059 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT); Fri, 23 Dec 2011 19:40:47 +0100 Received: by first (Postfix, from userid 1000) id 67297154036A; Fri, 23 Dec 2011 19:40:46 +0100 (CET) Date: Fri, 23 Dec 2011 19:40:46 +0100 From: oliver To: Fabrice Le Fessant Cc: caml-list@inria.fr Message-ID: <20111223184046.GA5565@siouxsie> References: <4EF4C1B4.30408@inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <4EF4C1B4.30408@inria.fr> User-Agent: Mutt/1.5.20 (2009-06-14) X-Scanned-By: MIMEDefang_at_IN-Berlin_e.V. on 192.109.42.8 Subject: Re: [Caml-list] try ocaml website On Fri, Dec 23, 2011 at 07:00:20PM +0100, Fabrice Le Fessant wrote: > Dear ocamllers, > > We worked hard on our "Try OCaml" website, started by Çagdas, and we > managed to improve it enough, so that we think people can start using it > (and hopefully, improving it). > > It is available here: > > http://try.ocamlpro.com/ [...] Hey, toplevel as shellwindow in the broswer. I like it. :-) The black background makes it also looking seriously. I didn't looked at the lessons in detail, just typing in some code by myself and clicking on some of the examples. Just to have a web-based trial of Ocaml is a good thing. So people can try around before they decide to install it. But if this is planned as a course, when the first paragraph mentions that "OCaml is a strongly typed functional language.", then additionally to working examples it might also make sense to show examples, where types mismatch, so that people can see, what meaning it has if the types do conflict. And an explanation of the advantages might also be good, because most people prefer the convenience of automatic coercion over the annoyance of a picky typesystem, when they decide to use a language. Maybe something like commenting boxes could be added, which explain the advantages/disadvantages of some certain properties of the language and someting like a "background box", which explains for example some conecptual issues of either functional programming, like referential transparency, or some background on the type system. Or for explaining design decisions of OCaml, for example the motivation for mutable strings, as opposed to functional, as in other functional languages (and tips&tricks how to make a functional implementation, just to show, it could be done). [...] > As the engine is translated from OCaml to Javascript by js_of_ocaml, > you can even play with it offline, when you are disconnected. [...] js_of_ocaml ?? Hey, didn't knew that. If it works fine, then it is a big, big pro to OCaml, compared to some other languages which are used often for web-development (like Python, Perl and so on). >From the js_of_ocaml page it looks like it's based on Ocsigen. Maybe it's time to explore it. :-) This all looks promising! Maybe webprogramming can turn from ugly annoyance into a pleasure this way.... Ciao, Oliver