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 27DED7EE49 for ; Wed, 18 Sep 2013 14:24:40 +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: AucCAPeaOVLU4xEKlGdsb2JhbABZgz+DfL1+gRkWDgEBAQEHCxQSKoIlAQEEASMyHgYQCxgqAgJXBhMJh3QKCKgJkWiJP4YCJgeCaYE1A456jzGOag X-IPAS-Result: AucCAPeaOVLU4xEKlGdsb2JhbABZgz+DfL1+gRkWDgEBAQEHCxQSKoIlAQEEASMyHgYQCxgqAgJXBhMJh3QKCKgJkWiJP4YCJgeCaYE1A456jzGOag X-IronPort-AV: E=Sophos;i="4.90,929,1371074400"; d="asc'?scan'208";a="27268829" Received: from moutng.kundenserver.de ([212.227.17.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 18 Sep 2013 14:24:39 +0200 Received: from office1.lan.sumadev.de (dslb-088-069-129-017.pools.arcor-ip.net [88.69.129.17]) by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis) id 0LzHf7-1VzXXA0p0b-0149Jn; Wed, 18 Sep 2013 14:24:37 +0200 Received: from [192.168.0.110] (ip-109-90-191-98.unitymediagroup.de [109.90.191.98]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id CE54BC00CF; Wed, 18 Sep 2013 14:24:36 +0200 (CEST) Message-ID: <1379507076.10274.162.camel@zotac> From: Gerd Stolpmann To: Gour Cc: caml-list@inria.fr Date: Wed, 18 Sep 2013 14:24:36 +0200 In-Reply-To: <20130918134229.37a0df52@atmarama.noip.me> 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> Content-Type: multipart/signed; micalg="pgp-sha1"; protocol="application/pgp-signature"; boundary="=-ir4jRekgvBTh3EM2nzOk" X-Mailer: Evolution 3.2.3-0ubuntu6 Mime-Version: 1.0 X-Provags-ID: V02:K0:Fz0lmZLdGKHIDdSpdi7PYc9GQhstAREpgCPfBpFFAHA /vGtgxTAa5eRrmu8MmR9aiaaejQNIEfoqCGPU1Sbawtwodol+3 8v9IN3PxfHaFXzWrCN3YS6ik/36BgOjZjxy89FzXeV9fBanrn0 zYUiGeNkfZF/Kk59PVFjOy/P+BZYIgiYxc9B1p3bF1e7hYIuPS nT/5kR2qo1xAWQHvH17uO1U89jrD4yGd8bwrPLTI3EVALkIBcH 0GxCorpwXkloK0lBlEJRaB9nxaMQZozext3b5KJ5FWuC3nEqGP le+LrpMG2J1XpHu7WxlR9Me7KgHXK/UHnPFp07NEYl1HBh7EFG YNL+47I1F9m6sdda7RAt6vHeloEf+hTRedRdEoJlG Subject: Re: [Caml-list] OCaml vs Ada and/or GUI options --=-ir4jRekgvBTh3EM2nzOk Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Am Mittwoch, den 18.09.2013, 13:42 +0200 schrieb Gour: > On Wed, 11 Sep 2013 13:42:49 +0200 > Gerd Stolpmann wrote: >=20 > > We would need an HTML5 binding so the programmer wouldn't see the > > Javascript part. >=20 > In my search for adequate GUI bindings I've found out about OCaml > bindings (https://github.com/astrada/ocaml-extjs) for ExtJS > (http://www.sencha.com/products/extjs/) so wonder what is your > experience with js_of_ocaml in generall and/or ExtJS? 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. No experience with ExtJS. Gerd >=20 >=20 > Sincerely, > Gour >=20 > --=20 > What is night for all beings is the time of awakening=20 > for the self-controlled; and the time of awakening for=20 > all beings is night for the introspective sage. >=20 > http://www.atmarama.net | Hlapicina (Croatia) | GPG: 52B5C810 >=20 >=20 >=20 --=20 ------------------------------------------------------------ Gerd Stolpmann, Darmstadt, Germany gerd@gerd-stolpmann.de My OCaml site: http://www.camlcity.org Contact details: http://www.camlcity.org/contact.html Company homepage: http://www.gerd-stolpmann.de ------------------------------------------------------------ --=-ir4jRekgvBTh3EM2nzOk 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) iQEcBAABAgAGBQJSOZuEAAoJEAaM4b9ZLB5TzZoH/2jFEjMNbjLYyqu6y7PVzJrx uZ6PhCL3neC6UsvcLM6AbhQhJRYrAHyOP5uj1rSsH/ipNmazHwAF9tyuEN9+Hip6 fXXwpbOq03j4fQlzxyyIv/fWLHLMc4DdjWtqD+3aehvVuxms5Gr+oJR+BEa4lB6S Rt9X4gW1WlxyH5O10nmdX4OqF9C1DKbLEzoiUcda2XTq3G52Y2+tl60eVz9oxbWd JqlybET8aMt8/WxgwNvlhty5YtF2KQ3Zn4ol2AyPactOqp1bLmztV+L+tODsf+o4 Cd1mIdu6zL9eCQ3TX1zlSbsmHsn1mznbapgDS22QY2elxuUQwfwtG0yVWDJ1iwM= =CDc7 -----END PGP SIGNATURE----- --=-ir4jRekgvBTh3EM2nzOk--