From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 4E803820A1 for ; Wed, 11 Sep 2013 13:43:07 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.17.10 as permitted sender) identity=helo; client-ip=212.227.17.10; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AscAAHVWMFLU4xEKk2dsb2JhbABbgz+De78/gRwWDgEBAQEHCwsJFAMlgiUBAQUjVhALGCoCAlcGEwkSh2sIskKRaok8hgQmB4JpgTQDjniKL4UAjmU X-IPAS-Result: AscAAHVWMFLU4xEKk2dsb2JhbABbgz+De78/gRwWDgEBAQEHCwsJFAMlgiUBAQUjVhALGCoCAlcGEwkSh2sIskKRaok8hgQmB4JpgTQDjniKL4UAjmU X-IronPort-AV: E=Sophos;i="4.90,883,1371074400"; d="asc'?scan'208";a="26476352" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Sep 2013 13:43:06 +0200 Received: from office1.lan.sumadev.de (dslb-088-069-140-232.pools.arcor-ip.net [88.69.140.232]) by mrelayeu.kundenserver.de (node=mreu2) with ESMTP (Nemesis) id 0M05xQ-1WDtLW2IVI-00uapq; Wed, 11 Sep 2013 13:43:02 +0200 Received: from [192.168.5.106] (dslb-088-069-140-232.pools.arcor-ip.net [88.69.140.232]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 12269C00CF; Wed, 11 Sep 2013 13:43:02 +0200 (CEST) Message-ID: <1378899769.11824.15.camel@thinkpad> From: Gerd Stolpmann To: Gour Cc: caml-list@inria.fr Date: Wed, 11 Sep 2013 13:42:49 +0200 In-Reply-To: <20130911102024.6a311672@atmarama.noip.me> References: <20130910230928.2d51cd39@atmarama.noip.me> <20130911073854.GA4499@kerneis.info> <20130911102024.6a311672@atmarama.noip.me> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-QMa0WFmIJvqmw6FcSwql" X-Mailer: Evolution 3.2.3-0ubuntu6 Mime-Version: 1.0 X-Provags-ID: V02:K0:Rgu980xbmGBpOwz6VpLOqA309R6fAfFYHbs6DXJuUhj z+BWDltBn026CH/fBBmNcybmgQmffYiM956n4mSoyjDJvPwMAm h+kQ+gDCmJwMPHmHWF5aCRskMEMyzO1QyesZWOAQHBSdY6y518 iYUWMnjKauleBx/qy05qtGFIBVIex4taZzGfO8NdUXCvx2uYK9 hPnNnPgZFQMj+zBkGrxeIxo8vONCH04pd4Cr3XNgWQNUwHIbQN QQg/0vnfFWKMDSAA+9MV8j0J1E8qNibJhYZpBYZPmc/J0bKH5d oe83K0n8ba/i2xnHJKAZaVWntvIZjITm3B3Hm6aCK4jkkaFXAW jmaZdCIATaLy22oKPLi42hqN4d5aJkBG104kctru4 Subject: Re: [Caml-list] Re: OCaml vs Ada and/or GUI options --=-QMa0WFmIJvqmw6FcSwql Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Am Mittwoch, den 11.09.2013, 10:20 +0200 schrieb Gour: > On Wed, 11 Sep 2013 08:38:54 +0100 > Gabriel Kerneis wrote: >=20 > > Note that "desktop app" and "run within browser" are not necessarily > > exclusive:=20 >=20 > That's true, but that involves JS-stuff which I'm not so fond of. :-) >=20 > It's certainly good multi-platform solution, but I'm afraid that JS > spoils the party. We would need an HTML5 binding so the programmer wouldn't see the Javascript part. Gerd --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de Creator of GODI and camlcity.org. Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-QMa0WFmIJvqmw6FcSwql Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iQEcBAABAgAGBQJSMFc5AAoJEAaM4b9ZLB5T9FcH+wYiEPDDoG7vVa9PCHvQgnPy WOBMbEcHq2+32/UmS0c/8VyrQUBnwGaeTwN1iQhUlBa/fBK1RGbNnHPIe0JG/O2m Fb4+ZJ+33kD6KWABCuBM30NDTqIMjreaXTiyzvfTt42dm7jDq8UmKLKOXIPrzJVI TgdQtirb3zmM8TO+cbblVRgmJxj7k9luAx490Jq/t2RBP3A06ulsQNkjdNEZIOci ExHAzl2DK29cLBe0baUKNJ5/xi5H8Y8p9uxwl+52V2qW4eXf6qMRgHlFsj3kehOE G7GTCwzaxwGjoYJBqYvNn6B7R/igCSaxkOQAxxlvFUNk139jLUmVCUtYKT7wvwI= =wDgk -----END PGP SIGNATURE----- --=-QMa0WFmIJvqmw6FcSwql--