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 96D94BBAF for ; Fri, 21 Nov 2008 16:27:18 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmQBABNiJknY7zq9kWdsb2JhbACTGj4BAQEBCQsKBxEDtB2BAotUAQMBA4J5 X-IronPort-AV: E=Sophos;i="4.33,644,1220220000"; d="scan'208";a="20230195" Received: from gv-out-0910.google.com ([216.239.58.189]) by mail1-smtp-roc.national.inria.fr with ESMTP; 21 Nov 2008 16:27:18 +0100 Received: by gv-out-0910.google.com with SMTP id o2so230033gve.4 for ; Fri, 21 Nov 2008 07:27:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:subject:from:to:in-reply-to :references:content-type:date:message-id:mime-version:x-mailer :content-transfer-encoding; bh=7YjQFmt2Sz2kfLxif9Ral7AxnNKnRVDzxrPWZs7sro0=; b=bdn6MJNHl1RseK3u8JJr+xzBkoD5Ht7BOckULb5yhUUQqMXjSq8JJhTUowuLAV3Zni c8QegFfPXAW/7GtH5ZSLAYPVp7E/aI18+5y/vZwOGNX6Wd6fYxRF3BOUNUWqOXYzdPo/ 4dJWQJnzA6gFKHllBkOLj1y5UTbcnPQ/D+cGk= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=subject:from:to:in-reply-to:references:content-type:date:message-id :mime-version:x-mailer:content-transfer-encoding; b=Z5SojwJgYQopWjYg3h7bzrDis0fJgsri7ZaqN/eqvsNaEq27hkdCAvUOGntFkzWJvT QKdTt9UxVl+15hkJrzugLK3n+q46qK3Y3UJ67GfWFvRPihXeB9ElxwMtXIXmXucHgiK+ TF3LyZD9ZujtVQheynCTyYoF2XFiXBJqob0fY= Received: by 10.103.229.12 with SMTP id g12mr89305mur.16.1227281237532; Fri, 21 Nov 2008 07:27:17 -0800 (PST) Received: from ?132.227.83.75? (fixe-admin-canou.calsci.lip6.fr [132.227.83.75]) by mx.google.com with ESMTPS id 14sm45869muo.39.2008.11.21.07.27.15 (version=SSLv3 cipher=RC4-MD5); Fri, 21 Nov 2008 07:27:16 -0800 (PST) Subject: Re: [Caml-list] [announce] O'Browser : OCaml on browsers From: Benjamin Canou To: caml-list@yquem.inria.fr In-Reply-To: <932408.46428.qm@web30501.mail.mud.yahoo.com> References: <932408.46428.qm@web30501.mail.mud.yahoo.com> Content-Type: text/plain Date: Fri, 21 Nov 2008 16:27:34 +0100 Message-Id: <1227281254.6375.23.camel@localhost> Mime-Version: 1.0 X-Mailer: Evolution 2.22.3.1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 ocaml:01 compiler:01 bytecode:01 bytecode:01 compiler:01 plug-in:98 javascript:98 plug-in:98 javascript:98 wrote:01 caml-list:01 benjamin:01 benjamin:01 francois:02 Hi, >>From Kuba Ober: > Pardon the question, but is this meant to be "useful" in the future, > or is it just a fun experiment (in which case the next target should > be brainfuck). Coming soon: the OCaml VM on a turing machine ! >>From Burgisser Francois : > Good idea but maybe a browser plugin to manipulate DOM would be much > more efficient. >>From Gabriel Kerneis: > But, sadly, much less portable. >>From Jon Harrop: > Could you write a compiler and call eval to get better performance? >>From David Thomas: > I'd like to see a plugin that makes available to JS a function to > execute ocaml bytecode. Our plan is to achieve efficiency with a (not yet available) browser plug-in (the original bytecode interpreter or the native compiler) while remaining portable by using the JavaScript VM where the plug-in is not available. So we don't currently focus on optimizing (and complexifying) too much the JavaScript version. >>From David Teller: > 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. Indeed, as Vincent wrote, even if O'Browser is at this point only a client-side scripting core, it takes place into the Ocsigen project and will be used to interact with (OCaml) server code (in its current form or not). Benjamin Canou.