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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id D6FE0820A1 for ; Wed, 11 Sep 2013 10:21:00 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gour@atmarama.net) identity=pra; client-ip=46.4.132.165; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gour@atmarama.net"; x-sender="gour@atmarama.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gour@atmarama.net designates 46.4.132.165 as permitted sender) identity=mailfrom; client-ip=46.4.132.165; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gour@atmarama.net"; x-sender="gour@atmarama.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail.wservices.ch) identity=helo; client-ip=46.4.132.165; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gour@atmarama.net"; x-sender="postmaster@mail.wservices.ch"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlAGAIAnMFIuBISlY2dsb2JhbABbgwc4wzqBHBYDFhcGPoIlAQEEAVUeCwsLIRMSD0gZG4dhCsI5j20WhAcDjyx4h1OVFQ X-IPAS-Result: AlAGAIAnMFIuBISlY2dsb2JhbABbgwc4wzqBHBYDFhcGPoIlAQEEAVUeCwsLIRMSD0gZG4dhCsI5j20WhAcDjyx4h1OVFQ X-IronPort-AV: E=Sophos;i="4.90,883,1371074400"; d="asc'?scan'208";a="32383711" Received: from mail.wservices.ch ([46.4.132.165]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2013 10:20:59 +0200 Received: from atmarama.noip.me (78-1-240-181.adsl.net.t-com.hr [78.1.240.181]) (using SSLv3 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by mail.wservices.ch (Postfix) with ESMTPSA id 95D1216410EA for ; Wed, 11 Sep 2013 10:20:59 +0200 (CEST) Date: Wed, 11 Sep 2013 10:20:24 +0200 From: Gour To: caml-list@inria.fr Message-ID: <20130911102024.6a311672@atmarama.noip.me> In-Reply-To: <20130911073854.GA4499@kerneis.info> References: <20130910230928.2d51cd39@atmarama.noip.me> <20130911073854.GA4499@kerneis.info> X-Mailer: Claws Mail 3.9.1 (GTK+ 2.24.18; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; micalg=PGP-SHA1; boundary="Sig_/nyg9xUz/UU8SukMPsXghuKa"; protocol="application/pgp-signature" X-Validation-by: gour@atmarama.net Subject: [Caml-list] Re: OCaml vs Ada and/or GUI options --Sig_/nyg9xUz/UU8SukMPsXghuKa Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable On Wed, 11 Sep 2013 08:38:54 +0100 Gabriel Kerneis wrote: > Note that "desktop app" and "run within browser" are not necessarily > exclusive:=20 That's true, but that involves JS-stuff which I'm not so fond of. :-) It's certainly good multi-platform solution, but I'm afraid that JS spoils the party. Sincerely, Gour --=20 In the material world, one who is unaffected by whatever good=20 or evil he may obtain, neither praising it nor despising it,=20 is firmly fixed in perfect knowledge. http://www.atmarama.net | Hlapicina (Croatia) | GPG: 52B5C810 --Sig_/nyg9xUz/UU8SukMPsXghuKa Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBAgAGBQJSMCfIAAoJELhxXPVStcgQHK0P/iYlZtTAkE04C+nJYD45KD7i x4TQglWyEGZ5F7MrgEKrjDAUdiuhwciPwJAIXl8uDVcE7Q81ve/IpEveN6pRRnba oY7f/PLPzm7wfpxJOYwPr5oqv3xEavfu/piq64ncowyZfETi15ionwaP7JU3jtGu xB0gGNuXElP+gKu3e4bBwSPxip6if/GxUnQkwPEezuHJoVZ3OfEXiWibI7tXUT/m iSAXs0h0wiWsPNEqZ2RFpOlaexas4M/S7Lkctw3FFzp3ezhcAfQQTRBSy87fT/Dk So9JpERzAkQI78xO77HL+O+BwWHV2OA1+YOLfPatHGdypiSO4vwWQEiVL12YbDeU yvaStCMzqGlwBeJWxgrDoS2GqypKgMGcHuCgYOVPxYcbZHfVWZzJzHvrju67XUNO DirVDSg7V3z9sZ8kzVF+3dykHmaN+mehksC3G9VB8Uy0FD++jgyoLR2l5ZsRwr5n z/SyWgdYT2R4D3qY94bG2AyaQmt+AM7EfxZcu9kA/prbb+SsMkGDJAkXzE2BVxog RnE/Wm5+JAxDOnIQzDkypOPAobPUj96a5x7pmA+6ginmCf4UKQR3+btMWl/i2iD0 OjRqCZYG5jcE07UgaVsBPnRtTDPt9kxLt0kHndvSFEQn1OCsVonZfc5VYjYUN7w6 ww1G8rWqa/J3LNbLj9wQ =7UGh -----END PGP SIGNATURE----- --Sig_/nyg9xUz/UU8SukMPsXghuKa--