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 BC7C27EE49 for ; Fri, 20 Sep 2013 06:47:51 +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: As4CABXTO1IuBISlgGdsb2JhbABbgz/CBoEgFg4BAQkWBz6CJQEBBAFVHgYFCwshExIPSBmHfQq6SY9nBxaECAOPLniHVZUc X-IPAS-Result: As4CABXTO1IuBISlgGdsb2JhbABbgz/CBoEgFg4BAQkWBz6CJQEBBAFVHgYFCwshExIPSBmHfQq6SY9nBxaECAOPLniHVZUc X-IronPort-AV: E=Sophos;i="4.90,941,1371074400"; d="asc'?scan'208";a="33616281" Received: from mail.wservices.ch ([46.4.132.165]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 20 Sep 2013 06:47:50 +0200 Received: from atmarama.noip.me (93-138-108-133.adsl.net.t-com.hr [93.138.108.133]) (using SSLv3 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) by mail.wservices.ch (Postfix) with ESMTPSA id 379611641054; Fri, 20 Sep 2013 06:47:50 +0200 (CEST) Date: Fri, 20 Sep 2013 06:47:14 +0200 From: Gour To: caml-list@inria.fr Cc: Gerd Stolpmann Message-ID: <20130920064714.79fc02b7@atmarama.noip.me> In-Reply-To: <1379507076.10274.162.camel@zotac> References: <20130910230928.2d51cd39@atmarama.noip.me> <20130911073854.GA4499@kerneis.info> <20130911102024.6a311672@atmarama.noip.me> <1378899769.11824.15.camel@thinkpad> <20130918134229.37a0df52@atmarama.noip.me> <1379507076.10274.162.camel@zotac> X-Mailer: Claws Mail 3.9.1 (GTK+ 2.24.20; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: multipart/signed; micalg=PGP-SHA1; boundary="Sig_/HUsHPmxUnz83Y.7AdExABZu"; protocol="application/pgp-signature" X-Validation-by: gour@atmarama.net Subject: Re: [Caml-list] OCaml vs Ada and/or GUI options --Sig_/HUsHPmxUnz83Y.7AdExABZu Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable On Wed, 18 Sep 2013 14:24:36 +0200 Gerd Stolpmann wrote: > js_of_ocaml in general: Very good experience so far, it just runs the > code, and with good speed. I haven't used it yet to create complex > UIs, though (what I did was rather trivial on the UI side, - while the > computational backend was quite complicated). It is easy to interface > with JS. Thanks a lot - it sounds good. Sincerely, Gour --=20 One who works in devotion, who is a pure soul, and who controls=20 his mind and senses is dear to everyone, and everyone is dear to=20 him. Though always working, such a man is never entangled. http://www.atmarama.net | Hlapicina (Croatia) | GPG: 52B5C810 --Sig_/HUsHPmxUnz83Y.7AdExABZu Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) iQIcBAEBAgAGBQJSO9NSAAoJELhxXPVStcgQd/8P/jGCfJ/0h0p2VMzzBghMW4aD D2dD0VrWBO7zP6vY62IPv7NFg9lQkF4HevkMmw0u8YIEYiQu2n7Ll4ikLr7ck4E0 4s9KKF+q6RKF06rthG/NcZ1PxdBQzx1qH7+zpJVjH64nj8aElaswzPM2COYNbtex yPw7QT+IIymzwIeNy8HuBYlVtXxzCUzRmJpDioWKAdv4ptd0Tqh95TOrsvER+mU0 M2oUf9G06XDjUC5CBCdAJ20kgJmBpCBSKwXg5qaxl7JhUjwDbcMTXBFI30Wa0FHh TFZco07+H+w5j0SBPUdUaFF75bi0k/Xce5lyvEdp+6K+Vjvq7rD7KeuoxW2w7Xni EOiI4CM6mVWZSY3bOftpEfuQvHwfHphIuz4eajoZmq3zq3qEeNyZANAn+rJjTE4c CD/E3Zgkcx2TYU551OoTdX0u/tR7CVXljBzfmGKZJoiYptIhyrywftfKY2A2RjdK 5niz4H1lbiS3L1dHqZESvA2f1soUxWg5VYXsVMmzqgSv24Hyoe4EY/oD3BXboVqo TPa1pudSSLpHq8a/k+XHhixYRHYg5qH4XIVKyfEwkzYW8U3CJFWaqh41FWeJF4S3 Yb6t6SZXAYS/F/aS+q7NWUCrA652Kk5S43r8J7SpB4jsY2I3SPI8DGbiKiwh6MDq +YJD94Oz+gXjMO7WVKDt =U8Bg -----END PGP SIGNATURE----- --Sig_/HUsHPmxUnz83Y.7AdExABZu--