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 D574C7EE25 for ; Sun, 17 Nov 2013 21:12:54 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gour@atmarama.net) identity=pra; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gour@atmarama.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gclci-caml-list@m.gmane.org designates 80.91.229.3 as permitted sender) identity=mailfrom; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="gclci-caml-list@m.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@plane.gmane.org designates 80.91.229.3 as permitted sender) identity=helo; client-ip=80.91.229.3; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gclci-caml-list@m.gmane.org"; x-sender="postmaster@plane.gmane.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4CAGUiiVJQW+UDnGdsb2JhbABZgz/BERYOAQEBAQEICwkJFCiCJQEBBAE6GykLCyElDy0bGYd7CgHBKZAGhBsDjziIV5U3 X-IPAS-Result: Ah4CAGUiiVJQW+UDnGdsb2JhbABZgz/BERYOAQEBAQEICwkJFCiCJQEBBAE6GykLCyElDy0bGYd7CgHBKZAGhBsDjziIV5U3 X-IronPort-AV: E=Sophos;i="4.93,719,1378850400"; d="scan'208";a="36031107" Received: from plane.gmane.org ([80.91.229.3]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 17 Nov 2013 21:12:54 +0100 Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1Vi8iC-0008Kb-3K for caml-list@inria.fr; Sun, 17 Nov 2013 21:12:52 +0100 Received: from 93-139-215-179.adsl.net.t-com.hr ([93.139.215.179]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 17 Nov 2013 21:12:52 +0100 Received: from gour by 93-139-215-179.adsl.net.t-com.hr with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Sun, 17 Nov 2013 21:12:52 +0100 X-Injected-Via-Gmane: http://gmane.org/ To: caml-list@inria.fr From: Gour Date: Sun, 17 Nov 2013 21:12:01 +0100 Message-ID: <20131117211201.5e3c4038@atmarama.noip.me> References: <20130910230928.2d51cd39@atmarama.noip.me> <522FC0C2.8080600@riken.jp> <20130911101625.6a666ed6@atmarama.noip.me> <52303117.4000106@riken.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 93-139-215-179.adsl.net.t-com.hr X-Newsreader: Claws Mail 3.9.2 (GTK+ 2.24.20; x86_64-pc-linux-gnu) X-Validation-by: gour@atmarama.net Subject: Re: [Caml-list] OCaml vs Ada and/or GUI options On Wed, 11 Sep 2013 18:00:07 +0900 Francois Berenger wrote: > My 2 cents: a productive researcher in my field is > quite interested in GUIs and portability of his software. > He uses Python. Forgot to ask whether he uses Qt or wx bindings? -- One must deliver himself with the help of his mind, and not degrade himself. The mind is the friend of the conditioned soul, and his enemy as well. http://www.atmarama.net | Hlapicina (Croatia) | GPG: 52B5C810