From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <rixed@happyleptic.org>
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 C0752820A1
	for <caml-list@sympa.inria.fr>; Wed, 11 Sep 2013 07:07:59 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=pra; client-ip=212.27.42.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  rixed@happyleptic.org) identity=mailfrom;
  client-ip=212.27.42.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="rixed@happyleptic.org";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp4-g21.free.fr) identity=helo;
  client-ip=212.27.42.4;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="rixed@happyleptic.org";
  x-sender="postmaster@smtp4-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AscAAI75L1LUGyoElGdsb2JhbABbxniBHxYOAQEBAQcNCQkUAyWCJgEFOk8LIRMSDwUoiDrCbo9tFoMHgQADl3cBlRQ
X-IPAS-Result: AscAAI75L1LUGyoElGdsb2JhbABbxniBHxYOAQEBAQcNCQkUAyWCJgEFOk8LIRMSDwUoiDrCbo9tFoMHgQADl3cBlRQ
X-IronPort-AV: E=Sophos;i="4.90,881,1371074400"; 
   d="scan'208";a="32356286"
Received: from smtp4-g21.free.fr ([212.27.42.4])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Sep 2013 07:07:58 +0200
Received: from dell.happyleptic.org (unknown [82.67.194.89])
	by smtp4-g21.free.fr (Postfix) with ESMTP id 46D5F4C80C8
	for <caml-list@inria.fr>; Wed, 11 Sep 2013 07:07:55 +0200 (CEST)
Received: from rixed by dell.happyleptic.org with local (Exim 4.80)
	(envelope-from <rixed@happyleptic.org>)
	id 1VJcef-0005qA-UD
	for caml-list@inria.fr; Wed, 11 Sep 2013 07:07:53 +0200
Date: Wed, 11 Sep 2013 07:07:53 +0200
From: rixed@happyleptic.org
To: caml-list@inria.fr
Message-ID: <20130911050753.GA22288@dell.happyleptic.org>
References: <20130910230928.2d51cd39@atmarama.noip.me>
 <522FC0C2.8080600@riken.jp>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <522FC0C2.8080600@riken.jp>
User-Agent: Mutt/1.5.21 (2010-09-15)
Subject: Re: [Caml-list] OCaml vs Ada and/or GUI options

-[ Wed, Sep 11, 2013 at 10:00:50AM +0900, Francois Berenger ]----
> You could also clearly decouple the "engine" of your software
> from its GUI.

Is there something like gtk-server for qt?