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.0 required=5.0 tests=AWL,DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id E753CBBAF for ; Tue, 18 Nov 2008 19:33:14 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkYDAPCYIknAXQIngWdsb2JhbACBbZFsAQEWIr8Ignk X-IronPort-AV: E=Sophos;i="4.33,626,1220220000"; d="scan'208";a="17337431" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 18 Nov 2008 19:33:14 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id mAIIXEOf012338 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 18 Nov 2008 19:33:14 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao8BAPCYIkmGnQCBmWdsb2JhbACBbZFsAQEBAQEICwoHEb8Ignk X-IronPort-AV: E=Sophos;i="4.33,626,1220220000"; d="scan'208";a="20096687" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 18 Nov 2008 19:33:14 +0100 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id mAIIXDXm019324 ; Tue, 18 Nov 2008 19:33:13 +0100 (CET) X-Ids: 166 Received: from magnesium.localnet (balat@magnesium.pps.jussieu.fr [134.157.168.12]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id mAIIXCxO018587 ; Tue, 18 Nov 2008 19:33:12 +0100 From: Vincent Balat Organization: Laboratoire PPS - CNRS - =?utf-8?q?Universit=C3=A9_Paris?= Diderot To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] [announce] O'Browser : OCaml on browsers Date: Tue, 18 Nov 2008 19:32:48 +0100 User-Agent: KMail/1.10.3 (Linux/2.6.25-2-amd64; KDE/4.1.3; x86_64; ; ) Cc: Kuba Ober , caml-list@inria.fr References: <492199E2.1020504@gmail.com> <1226993621.6170.3.camel@Blefuscu> <200811181315.30067.ober.14@osu.edu> In-Reply-To: <200811181315.30067.ober.14@osu.edu> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200811181932.48895.vincent.balat@pps.jussieu.fr> X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0.1 (shiva.jussieu.fr [134.157.0.166]); Tue, 18 Nov 2008 19:33:13 +0100 (CET) X-Virus-Scanned: ClamAV 0.94.1/8647/Tue Nov 18 16:09:15 2008 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at concorde with ID 49230A6A.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Miltered: at jchkmail.jussieu.fr with ID 49230A69.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 49230A69.001/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-j-chkmail-Score: MSGID : 49230A69.001 on jchkmail.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.014 -> S=0.014 X-j-chkmail-Status: Ham X-Spam: no; 0.00; ocaml:01 bug:01 ocaml:01 compiler:01 cheers:01 javascript:98 wrote:01 wrote:01 abstract:01 pps:01 caml-list:01 jussieu:01 css:96 seems:03 module:03 Hi, On Tuesday 18 November 2008 19:15:28 Kuba Ober wrote: > On Tuesday 18 November 2008, you wrote: > > On Mon, 2008-11-17 at 22:43 -0500, Kuba Ober wrote: > > > > Please note that this is an early version, in particular the DOM > > > > interface module is neither pretty nor well typed. > > > > However, it can already be used to create little applets or scripts > > > > (as in the tutorial [2], the examples of the distribution [3] or my > > > > webpage [4]) and we'll be glad to receive your comments or bug > > > > reports. > > > > > > And the reason is?.... > > > > To me, the fact that you can write portable lightweight applets sounds > > like a good enough reason. That and the fact that I can see this being > > used by stuff like Ocsigen to make for (even) richer client-server > > applications. > > I presume that one can have some Javascript library to abstract out > platform differences, but to have a whole new language? Well, of course > what works works, the question is if the performance is any good. Our final goal is of course to write the whole Web application in OCaml (both server and client sides). And thus to get the same static guarantees for the code beeing executed on the browser as we have on server side with Ocsigen (for example valid xhtml, etc). To run OCaml on a browser, there are several solutions: For example you can use a compiler to js (see for example ocamljs), or a plugin. O'Browser is an alternative. It seems to be efficient enough for most uses. For tasks requiring very high efficiency, the only solution is a plugin _and_ a very efficient xhtml/css rendering engine. Cheers, Vincent Balat