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=2.7 required=5.0 tests=AWL,DNS_FROM_RFC_ABUSE, DNS_FROM_RFC_POST,DNS_FROM_RFC_WHOIS,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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 3B5B1BBAF for ; Tue, 18 Nov 2008 21:02:02 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoBAAauIklEjshymWdsb2JhbACTWAEBAQEBCAsKBxGyHAiMdQUCAYJ2gUw X-IronPort-AV: E=Sophos;i="4.33,627,1220220000"; d="scan'208";a="20099615" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 Nov 2008 21:02:02 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mAIK1w6P016828 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 18 Nov 2008 21:02:02 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmoBAAauIklEjshymWdsb2JhbACTWAEBAQEBCAsKBxGyHAiMdQUCAYJ2gUw X-IronPort-AV: E=Sophos;i="4.33,627,1220220000"; d="scan'208";a="20099614" Received: from web30501.mail.mud.yahoo.com ([68.142.200.114]) by mail1-smtp-roc.national.inria.fr with SMTP; 18 Nov 2008 21:02:01 +0100 Received: (qmail 46561 invoked by uid 60001); 18 Nov 2008 20:02:00 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=X-YMail-OSG:Received:X-Mailer:Date:From:Reply-To:Subject:To:In-Reply-To:MIME-Version:Content-Type:Message-ID; b=mzWSi60jWUFeBzY4PQXWaUbkO2OBtzB++jOGd8Ku6C51igHwmOyOadiLXD/U67siDyUUgKPlZzKgXOomm7MpBHNLKkVnS1/a3ZYzGU8FIJIBohD0nMbk/fnXITQxJewMh1K9n1RCZQW7Ley/5FcoYDeOwBE+mFNAzzgwTkJypyk=; X-YMail-OSG: UTi8odMVM1mQHKBbM0EsecbEgNRpo4IDHlAlG9OGzWciEC6JRt0PfqqhW40EbFruISpZw89gF2lbxtrLAyowDTp_lb5rxINqiNEm2dvzxWXtx5L1NukTMu06zI.xZySHv1wklVBpPu2dgVs_YH6vd1mVQw.NJ._vl1NwTahUzrSK6yMMUaokckn1JrA- Received: from [141.212.108.138] by web30501.mail.mud.yahoo.com via HTTP; Tue, 18 Nov 2008 12:01:59 PST X-Mailer: YahooMailWebService/0.7.260.1 Date: Tue, 18 Nov 2008 12:01:59 -0800 (PST) From: David Thomas Reply-To: david_hd@yahoo.com Subject: Re: [Caml-list] [announce] O'Browser : OCaml on browsers To: caml-list@inria.fr In-Reply-To: <200811181932.48895.vincent.balat@pps.jussieu.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Message-ID: <932408.46428.qm@web30501.mail.mud.yahoo.com> X-Miltered: at discorde with ID 49231F36.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 bytecode:01 bug:01 compiler:01 cheers:01 beginner's:01 bug:01 javascript:98 javascript:98 beginners:01 wrote:01 wrote:01 abstract:01 pps:01 I'd like to see a plugin that makes available to JS a function to execute ocaml bytecode. There could be a standard way to check for support, and the pure javascript interpreter could be loaded if it is missing (for those browsers/computers on which performance is reasonable). --- On Tue, 11/18/08, Vincent Balat wrote: > From: Vincent Balat > Subject: Re: [Caml-list] [announce] O'Browser : OCaml on browsers > To: caml-list@yquem.inria.fr > Cc: caml-list@inria.fr > Date: Tuesday, November 18, 2008, 10:32 AM > 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 > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: > http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs